Searched refs:rdist_base (Results 1 – 1 of 1) sorted by relevance
430 volatile void *rdist_base = gicr_base_cpu(guest_get_vcpuid()); in gic_rdist_enable_lpis() local439 writeq_relaxed(val, rdist_base + GICR_PROPBASER); in gic_rdist_enable_lpis()444 writeq_relaxed(val, rdist_base + GICR_PENDBASER); in gic_rdist_enable_lpis()446 ctlr = readl_relaxed(rdist_base + GICR_CTLR); in gic_rdist_enable_lpis()448 writel_relaxed(ctlr, rdist_base + GICR_CTLR); in gic_rdist_enable_lpis()