Symbol: gic_r_read
sys/arm64/arm64/gic_v3.c
1454
waker = gic_r_read(sc, 4, GICR_WAKER);
sys/arm64/arm64/gic_v3.c
1462
while ((gic_r_read(sc, 4, GICR_WAKER) & GICR_WAKER_CA) != 0) {
sys/arm64/arm64/gic_v3.c
875
reg = gic_r_read(sc, 4,