ICC_BPR1_EL1_MASK
vmcr.abpr = FIELD_GET(ICC_BPR1_EL1_MASK, val);
*val = FIELD_PREP(ICC_BPR1_EL1_MASK, vmcr.abpr);