Searched defs:eptgen (Results 1 – 4 of 4) sorted by relevance
59 long eptgen; /* pmap->pm_eptgen when the vcpu last ran */ member
1928 long eptgen; in svm_pmap_activate() local
146 long eptgen[MAXCPU]; /* cached pmap->pm_eptgen */ member
3011 long eptgen; in vmx_pmap_activate() local