/* Data Nested TLB Fault @ Data Nested TLB Vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void nested_dtlb(struct kvm_vcpu *vcpu)
/* Data Nested TLB Fault @ Data Nested TLB Vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void nested_dtlb(struct kvm_vcpu *vcpu)
{
	inject_guest_interruption(vcpu, IA64_DATA_NESTED_TLB_VECTOR);
}