Searched refs:eptgen (Results 1 – 2 of 2) sorted by relevance
150 uint64_t eptgen[MAXCPU]; member
976 if (vmspace_table_gen(vms) == vmx->eptgen[curcpu]) { in vmx_invvpid()2798 uint64_t eptgen; in vmx_run() local2912 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()