/* VHPT Instruction Fault @ VHPT Translation vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void ivhpt_fault(struct kvm_vcpu *vcpu, u64 vadr)
/* VHPT Instruction Fault @ VHPT Translation vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void ivhpt_fault(struct kvm_vcpu *vcpu, u64 vadr)
{
	_vhpt_fault(vcpu, vadr);
}