ICC_CTLR_EL1_EOImode_MASK
val |= FIELD_PREP(ICC_CTLR_EL1_EOImode_MASK,
FIELD_GET(ICC_CTLR_EL1_EOImode_MASK, val));
vmcr.eoim = FIELD_GET(ICC_CTLR_EL1_EOImode_MASK, val);
val |= FIELD_PREP(ICC_CTLR_EL1_EOImode_MASK, vmcr.eoim);