ICC_CTLR_EL1_A3V_SHIFT
val |= ((vtr >> 21) & 1) << ICC_CTLR_EL1_A3V_SHIFT;
#define ICC_CTLR_EL1_A3V_MASK (0x1 << ICC_CTLR_EL1_A3V_SHIFT)