GICD_CTLR_ARE_NS
gic_d_write(sc, 4, GICD_CTLR, GICD_CTLR_ARE_NS | GICD_CTLR_G1A |
wval |= GICD_CTLR_ARE_NS;