Symbol: vmp_ptr
usr/src/uts/intel/io/vmm/vmm_vm.c
1480
return (vmp_ptr(vmp));
usr/src/uts/intel/io/vmm/vmm_vm.c
1494
return (vmp_ptr(vmp));