Searched refs:eptgen (Results 1 – 4 of 4) sorted by relevance
59 long eptgen; /* pmap->pm_eptgen when the vcpu last ran */ member
1922 long eptgen; in svm_pmap_activate() local1968 eptgen = atomic_load_long(&pmap->pm_eptgen); in svm_pmap_activate()1973 } else if (vcpu->eptgen != eptgen) { in svm_pmap_activate()2014 vcpu->eptgen = eptgen; in svm_pmap_activate()2779 SNAPSHOT_VAR_OR_LEAVE(vcpu->eptgen, meta, err, done); in svm_vcpu_snapshot()
146 long eptgen[MAXCPU]; /* cached pmap->pm_eptgen */ member
1316 if (atomic_load_long(&pmap->pm_eptgen) == vmx->eptgen[curcpu]) { in vmx_invvpid()3002 long eptgen; in vmx_pmap_activate() local3009 eptgen = atomic_load_long(&pmap->pm_eptgen); in vmx_pmap_activate()3010 if (eptgen != vmx->eptgen[cpu]) { in vmx_pmap_activate()3011 vmx->eptgen[cpu] = eptgen; in vmx_pmap_activate()