Searched defs:eptgen (Results 1 – 3 of 3) sorted by relevance
51 long eptgen; /* pmap->pm_eptgen when the vcpu last ran */ member
1791 long eptgen; in check_asid() local
122 long eptgen[MAXCPU]; /* cached pmap->pm_eptgen */ member