ICC_CTLR_EL1_CBPR_MASK
val |= FIELD_PREP(ICC_CTLR_EL1_CBPR_MASK,
FIELD_GET(ICC_CTLR_EL1_CBPR_MASK, val));
vmcr.cbpr = FIELD_GET(ICC_CTLR_EL1_CBPR_MASK, val);
val |= FIELD_PREP(ICC_CTLR_EL1_CBPR_MASK, vmcr.cbpr);