PSW_BITS_AMODE_31BIT
if (psw_bits(regs->psw).eaba == PSW_BITS_AMODE_31BIT)
(psw_bits(regs->psw).eaba == PSW_BITS_AMODE_31BIT)) {
if (psw_bits(*psw).eaba == PSW_BITS_AMODE_31BIT)