Searched refs:pcid_next (Results 1 – 1 of 1) sorted by relevance
1922 PCPU_SET(pcid_next, PMAP_PCID_KERN + 2); in pmap_bootstrap()9542 uint32_t gen, new_gen, pcid_next; in pmap_pcid_alloc() local9550 pcid_next = PCPU_GET(pcid_next); in pmap_pcid_alloc()9551 KASSERT((!pti && pcid_next <= PMAP_PCID_OVERMAX) || in pmap_pcid_alloc()9552 (pti && pcid_next <= PMAP_PCID_OVERMAX_KERN), in pmap_pcid_alloc()9553 ("cpu %d pcid_next %#x", cpuid, pcid_next)); in pmap_pcid_alloc()9554 if ((!pti && pcid_next == PMAP_PCID_OVERMAX) || in pmap_pcid_alloc()9555 (pti && pcid_next == PMAP_PCID_OVERMAX_KERN)) { in pmap_pcid_alloc()9560 pcid_next = PMAP_PCID_KERN + 1; in pmap_pcid_alloc()9564 pmap->pm_pcids[cpuid].pm_pcid = pcid_next; in pmap_pcid_alloc()[all …]