Searched defs:nptgen (Results 1 – 2 of 2) sorted by relevance
54 uint64_t nptgen; /* page table gen when the vcpu last ran */ member
1774 check_asid(struct svm_softc *sc, int vcpuid, uint_t thiscpu, uint64_t nptgen) in check_asid()1951 uint64_t nptgen; in svm_vmrun() local