Symbol: GICD_CTLR_RWP
sys/arm64/arm64/gic_v3.c
1245
while ((bus_read_4(res, offset + GICD_CTLR) & GICD_CTLR_RWP) != 0) {
sys/arm64/vmm/io/vgic_v3.c
1008
*rval &= ~GICD_CTLR_RWP;