Symbol: vmspace_table_gen
usr/src/uts/intel/io/vmm/intel/vmx.c
969
if (vmspace_table_gen(vms) == vmx->eptgen[curcpu]) {
usr/src/uts/intel/io/vmm/sys/vmm_vm.h
51
uint64_t vmspace_table_gen(vmspace_t *);