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