ICC_BPR0_EL1_MASK
vmcr.bpr = FIELD_GET(ICC_BPR0_EL1_MASK, val);
*val = FIELD_PREP(ICC_BPR0_EL1_MASK, vmcr.bpr);