Symbol: vm_mem_allocated
usr/src/uts/intel/io/vmm/amd/svm.c
1517
} else if (vm_mem_allocated(svm_sc->vm, vcpu, info2)) {
usr/src/uts/intel/io/vmm/intel/vmx.c
2496
if (vm_mem_allocated(vmx->vm, vcpu, gpa) ||
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
182
bool vm_mem_allocated(struct vm *vm, int vcpuid, vm_paddr_t gpa);