GICD_CTLR_ENABLE_G1
val = GICD_CTLR_ARE_NS | GICD_CTLR_ENABLE_G1A | GICD_CTLR_ENABLE_G1;
GICD_CTLR_ENABLE_G1, GICD_BASE_GVA + GICD_CTLR);