Searched refs:eptgen (Results 1 – 4 of 4) sorted by relevance
53 long eptgen; /* pmap->pm_eptgen when the vcpu last ran */ member
1809 long eptgen; in svm_pmap_activate() local1856 eptgen = atomic_load_long(&pmap->pm_eptgen); in svm_pmap_activate()1861 } else if (vcpustate->eptgen != eptgen) { in svm_pmap_activate()1902 vcpustate->eptgen = eptgen; in svm_pmap_activate()2528 SNAPSHOT_VAR_OR_LEAVE(vcpu->eptgen, meta, ret, done); in svm_snapshot()
136 long eptgen[MAXCPU]; /* cached pmap->pm_eptgen */ member
1279 if (atomic_load_long(&pmap->pm_eptgen) == vmx->eptgen[curcpu]) { in vmx_invvpid()2948 long eptgen; in vmx_pmap_activate() local2955 eptgen = atomic_load_long(&pmap->pm_eptgen); in vmx_pmap_activate()2956 if (eptgen != vmx->eptgen[cpu]) { in vmx_pmap_activate()2957 vmx->eptgen[cpu] = eptgen; in vmx_pmap_activate()