Symbol: GICR_WAKER
sys/arm64/arm64/gic_v3.c
1454
waker = gic_r_read(sc, 4, GICR_WAKER);
sys/arm64/arm64/gic_v3.c
1457
gic_r_write(sc, 4, GICR_WAKER, waker);
sys/arm64/arm64/gic_v3.c
1462
while ((gic_r_read(sc, 4, GICR_WAKER) & GICR_WAKER_CA) != 0) {
sys/arm64/vmm/io/vgic_v3.c
352
VGIC_REGISTER_RAZ_WI(GICR_WAKER, 4, VGIC_32_BIT),