PSW_BITS_AMODE_24BIT
if (psw_bits(regs->psw).eaba == PSW_BITS_AMODE_24BIT)
if ((psw_bits(regs->psw).eaba == PSW_BITS_AMODE_24BIT) ||
psw_bits(vcpu->arch.sie_block->gpsw).eaba == PSW_BITS_AMODE_24BIT)