Symbol: vmx_fault_page
sys/arch/amd64/amd64/vmm_machdep.c
132
int vmx_fault_page(struct vcpu *, paddr_t);
sys/arch/amd64/amd64/vmm_machdep.c
5186
ret = vmx_fault_page(vcpu, gpa);