DIST_BIT
volatile void *base = cpu_or_dist & DIST_BIT ? GICD_BASE_GVA
volatile void *base = cpu_or_dist & DIST_BIT ? GICD_BASE_GVA
cpu_or_dist = (intid_range == SPI_RANGE) ? DIST_BIT : cpu;
gicv3_wait_for_rwp(is_spi ? DIST_BIT : cpu);
gicv3_wait_for_rwp(is_spi ? DIST_BIT : cpu);
cpu_or_dist = (get_intid_range(intid) == SPI_RANGE) ? DIST_BIT : guest_get_vcpuid();
if (cpu_or_dist & DIST_BIT)