/* Instruction Nat Page Consumption Fault @ Nat Consumption Vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void inat_page_consumption(struct kvm_vcpu *vcpu, u64 vadr)
/* Instruction Nat Page Consumption Fault @ Nat Consumption Vector Refer to SDM Vol2 Table 5-6 & 8-1  */
void inat_page_consumption(struct kvm_vcpu *vcpu, u64 vadr)
{
	_nat_consumption_fault(vcpu, vadr, INSTRUCTION);
}