/* VPSR can't keep track of below bits of guest PSR This function gets guest PSR  */
unsigned long vcpu_get_psr(struct kvm_vcpu *vcpu)
/* VPSR can't keep track of below bits of guest PSR This function gets guest PSR  */
unsigned long vcpu_get_psr(struct kvm_vcpu *vcpu)
{
	unsigned long mask;
	struct kvm_pt_regs *regs = vcpu_regs(vcpu);
	mask = IA64_PSR_BE | IA64_PSR_UP | IA64_PSR_AC | IA64_PSR_MFL |
		IA64_PSR_MFH | IA64_PSR_CPL | IA64_PSR_RI;
	return (VCPU(vcpu, vpsr) & ~mask) | (regs->cr_ipsr & mask);
}