/* Alternate Data TLB Fault @ Alternate Data TLB vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void alt_dtlb(struct kvm_vcpu *vcpu, u64 vadr)
/* Alternate Data TLB Fault @ Alternate Data TLB vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void alt_dtlb(struct kvm_vcpu *vcpu, u64 vadr)
{
	set_ifa_itir_iha(vcpu, vadr, 1, 1, 0);
	inject_guest_interruption(vcpu, IA64_ALT_DATA_TLB_VECTOR);
}