/* Set vIFA & vITIR & vIHA, when vPSR.ic =1 Parameter: set_ifa: if true, set vIFA set_itir: if true, set vITIR set_iha: if true, set vIHA  */
void set_ifa_itir_iha(struct kvm_vcpu *vcpu, u64 vadr, int set_ifa, int set_itir, int set_iha)
/* Set vIFA & vITIR & vIHA, when vPSR.ic =1 Parameter: set_ifa: if true, set vIFA set_itir: if true, set vITIR set_iha: if true, set vIHA  */
void set_ifa_itir_iha(struct kvm_vcpu *vcpu, u64 vadr, int set_ifa, int set_itir, int set_iha)
{
	long vpsr;
	u64 value;
	vpsr = VCPU(vcpu, vpsr);
	if (vpsr & IA64_PSR_IC) {
		if (set_ifa)
			vcpu_set_ifa(vcpu, vadr);
		if (set_itir) {
			value = vcpu_get_itir_on_fault(vcpu, vadr);
			vcpu_set_itir(vcpu, value);
		}
		if (set_iha) {
			value = vcpu_thash(vcpu, vadr);
			vcpu_set_iha(vcpu, value);
		}
	}
}