Searched refs:rdist_base (Results 1 – 1 of 1) sorted by relevance
408 volatile void *rdist_base = gicr_base_cpu(guest_get_vcpuid()); in gic_rdist_enable_lpis() local 417 writeq_relaxed(val, rdist_base + GICR_PROPBASER); in gic_rdist_enable_lpis() 422 writeq_relaxed(val, rdist_base + GICR_PENDBASER); in gic_rdist_enable_lpis() 424 ctlr = readl_relaxed(rdist_base + GICR_CTLR); in gic_rdist_enable_lpis() 426 writel_relaxed(ctlr, rdist_base + GICR_CTLR); in gic_rdist_enable_lpis()