PSR_AA32_MODE_UND
{ PSR_AA32_MODE_UND, "32-bit UND" }, \
case PSR_AA32_MODE_UND:
if (mode != PSR_AA32_MODE_UND && mode != PSR_AA32_MODE_SVC)
case PSR_AA32_MODE_UND:
enter_exception32(vcpu, PSR_AA32_MODE_UND, 4);