ICC_CTLR_EL1_A3V_MASK
a3v = FIELD_GET(ICC_CTLR_EL1_A3V_MASK, val);
val |= FIELD_PREP(ICC_CTLR_EL1_A3V_MASK,