Home
last modified time | relevance | path

Searched refs:eptgen (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/uts/intel/io/vmm/intel/
H A Dvmx.h150 uint64_t eptgen[MAXCPU]; member
H A Dvmx.c976 if (vmspace_table_gen(vms) == vmx->eptgen[curcpu]) { in vmx_invvpid()
2798 uint64_t eptgen; in vmx_run() local
2912 eptgen = vmc_table_enter(vmc); in vmx_run()
2913 if (vmx->eptgen[curcpu] != eptgen) { in vmx_run()
2920 vmx->eptgen[curcpu] = eptgen; in vmx_run()