Searched refs: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() local1977 eptgen = atomic_load_long(&pmap->pm_eptgen); in svm_pmap_activate()1982 } else if (vcpu->eptgen != eptgen) { in svm_pmap_activate()2023 vcpu->eptgen = eptgen; in svm_pmap_activate()2788 SNAPSHOT_VAR_OR_LEAVE(vcpu->eptgen, meta, err, done); in svm_vcpu_snapshot()
146 long eptgen[MAXCPU]; /* cached pmap->pm_eptgen */ member
1327 if (atomic_load_long(&pmap->pm_eptgen) == vmx->eptgen[curcpu]) { in vmx_invvpid()3013 long eptgen; in vmx_pmap_activate() local3020 eptgen = atomic_load_long(&pmap->pm_eptgen); in vmx_pmap_activate()3021 if (eptgen != vmx->eptgen[cpu]) { in vmx_pmap_activate()3022 vmx->eptgen[cpu] = eptgen; in vmx_pmap_activate()