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() local417 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()