Symbol: vmc_fault
usr/src/uts/intel/io/vmm/sys/vmm_vm.h
63
int vmc_fault(vm_client_t *, uintptr_t, int);
usr/src/uts/intel/io/vmm/vmm.c
1670
if (vmc_fault(vmc, vme->u.paging.gpa, ftype) != 0) {