ICC_PMR_EL1_MASK
*val = FIELD_PREP(ICC_PMR_EL1_MASK, vmcr.pmr);
vmcr.pmr = FIELD_GET(ICC_PMR_EL1_MASK, val);