vmm/amd/svm.c

1787 check_asid(struct svm_softc *sc, int vcpuid, pmap_t pmap, u_int thiscpu)
1794 	KASSERT(CPU_ISSET(thiscpu, &pmap->pm_active), ("%s: nested pmap not "
1795 	    "active on cpu %u", __func__, thiscpu));
1839 	if (vcpustate->asid.gen != asid[thiscpu].gen) {
1856 		if (++asid[thiscpu].num >= nasid) {
1857 			asid[thiscpu].num = 1;
1858 			if (++asid[thiscpu].gen == 0)
1859 				asid[thiscpu].gen = 1;
1869 		vcpustate->asid.gen = asid[thiscpu].gen;
1870 		vcpustate->asid.num = asid[thiscpu].num;