gicr_base_cpu
: sgi_base_from_redist(gicr_base_cpu(cpu_or_dist));
: sgi_base_from_redist(gicr_base_cpu(cpu_or_dist));
redist_base_cpu = gicr_base_cpu(cpu);
volatile void *rdist_base = gicr_base_cpu(guest_get_vcpuid());
while (readl(gicr_base_cpu(cpu) + GICR_CTLR) & GICR_CTLR_RWP) {