Searched refs:vmspace_table_gen (Results 1 – 3 of 3) sorted by relevance
50 uint64_t vmspace_table_gen(vmspace_t *);
1029 vmspace_table_gen(vmspace_t *vms) in vmspace_table_gen() function
979 if (vmspace_table_gen(vms) == vmx->eptgen[curcpu]) { in vmx_invvpid()