Symbol: vmc_space_release
usr/src/uts/intel/io/vmm/vmm_vm.c
222
static void vmc_space_release(vm_client_t *, bool);
usr/src/uts/intel/io/vmm/vmm_vm.c
762
vmc_space_release(vmc, kick_on_cpu);