Searched refs:eptgen (Results 1 – 5 of 5) sorted by relevance
50 long eptgen; /* pmap->pm_eptgen when the vcpu last ran */ member
1702 long eptgen; in check_asid() local1747 eptgen = pmap->pm_eptgen; in check_asid()1752 } else if (vcpustate->eptgen != eptgen) { in check_asid()1793 vcpustate->eptgen = eptgen; in check_asid()
120 long eptgen[MAXCPU]; /* cached pmap->pm_eptgen */ member
72 ASSYM(VMX_EPTGEN, offsetof(struct vmx, eptgen));
1054 if (pmap->pm_eptgen == vmx->eptgen[curcpu]) { in vmx_invvpid()