Searched refs:pcid_next (Results 1 – 1 of 1) sorted by relevance
2081 PCPU_SET(pcid_next, PMAP_PCID_KERN + 2); in pmap_bootstrap()10088 uint32_t gen, new_gen, pcid_next; in pmap_pcid_alloc() local10096 pcid_next = PCPU_GET(pcid_next); in pmap_pcid_alloc()10097 KASSERT((!pti && pcid_next <= PMAP_PCID_OVERMAX) || in pmap_pcid_alloc()10098 (pti && pcid_next <= PMAP_PCID_OVERMAX_KERN), in pmap_pcid_alloc()10099 ("cpu %d pcid_next %#x", PCPU_GET(cpuid), pcid_next)); in pmap_pcid_alloc()10100 if ((!pti && pcid_next == PMAP_PCID_OVERMAX) || in pmap_pcid_alloc()10101 (pti && pcid_next == PMAP_PCID_OVERMAX_KERN)) { in pmap_pcid_alloc()10106 pcid_next = PMAP_PCID_KERN + 1; in pmap_pcid_alloc()10110 pcidp->pm_pcid = pcid_next; in pmap_pcid_alloc()[all …]