PSW_BITS_AMODE_64BIT   57 arch/s390/kvm/gaccess.h 	if (psw_bits(*psw).eaba == PSW_BITS_AMODE_64BIT)
PSW_BITS_AMODE_64BIT  417 arch/s390/kvm/priv.c 		if (psw_bits(vcpu->arch.sie_block->gpsw).eaba == PSW_BITS_AMODE_64BIT)
PSW_BITS_AMODE_64BIT 1108 arch/s390/kvm/priv.c 		if (psw_bits(vcpu->arch.sie_block->gpsw).eaba == PSW_BITS_AMODE_64BIT) {