PSR_MODE_EL2t
{ PSR_MODE_EL2t, "EL2t" }, \
case PSR_MODE_EL2t:
direct_inject |= (mode == PSR_MODE_EL2h || mode == PSR_MODE_EL2t);
case PSR_MODE_EL2t:
if (mode != PSR_MODE_EL2t && mode != PSR_MODE_EL2h) {
case PSR_MODE_EL2t:
if (!(mode & PSR_MODE32_BIT) && mode >= PSR_MODE_EL2t)
case PSR_MODE_EL2t:
mode = PSR_MODE_EL2t;
case PSR_MODE_EL2t:
case PSR_MODE_EL2t: