Searched refs:pcid_next (Results 1 – 1 of 1) sorted by relevance
2082 PCPU_SET(pcid_next, PMAP_PCID_KERN + 2); in pmap_bootstrap()10061 uint32_t gen, new_gen, pcid_next; in pmap_pcid_alloc() local10069 pcid_next = PCPU_GET(pcid_next); in pmap_pcid_alloc()10070 KASSERT((!pti && pcid_next <= PMAP_PCID_OVERMAX) || in pmap_pcid_alloc()10071 (pti && pcid_next <= PMAP_PCID_OVERMAX_KERN), in pmap_pcid_alloc()10072 ("cpu %d pcid_next %#x", PCPU_GET(cpuid), pcid_next)); in pmap_pcid_alloc()10073 if ((!pti && pcid_next == PMAP_PCID_OVERMAX) || in pmap_pcid_alloc()10074 (pti && pcid_next == PMAP_PCID_OVERMAX_KERN)) { in pmap_pcid_alloc()10079 pcid_next = PMAP_PCID_KERN + 1; in pmap_pcid_alloc()10083 pcidp->pm_pcid = pcid_next; in pmap_pcid_alloc()[all …]