ICC_CTLR_EL1_SEIS_MASK
seis = FIELD_GET(ICC_CTLR_EL1_SEIS_MASK, val);
val |= FIELD_PREP(ICC_CTLR_EL1_SEIS_MASK,