Searched defs:eptgen (Results 1 – 4 of 4) sorted by relevance
| /freebsd-src/sys/amd64/vmm/amd/ | ||
| H A D | svm_softc.h | 59 long eptgen; /* pmap->pm_eptgen when the vcpu last ran */ member |
| H A D | svm.c | 1922 long eptgen; svm_pmap_activate() local |
| /freebsd-src/sys/amd64/vmm/intel/ | ||
| H A D | vmx.h | 146 long eptgen[MAXCPU]; /* cached pmap->pm_eptgen */ member |
| H A D | vmx.c | 3002 long eptgen; vmx_pmap_activate() local |