Searched refs:PMAP_PCID_KERN (Results 1 – 3 of 3) sorted by relevance
216 pc->pc_pcid_next = PMAP_PCID_KERN + 2; in init_secondary()218 pc->pc_kpmap_store.pm_pcid = PMAP_PCID_KERN; in init_secondary()
2072 PCPU_SET(kpmap_store.pm_pcid, PMAP_PCID_KERN); in pmap_bootstrap()2081 PCPU_SET(pcid_next, PMAP_PCID_KERN + 2); in pmap_bootstrap()4305 pmap_pinit_pcids(pmap, PMAP_PCID_KERN + 1, 1); in pmap_pinit0()10079 if (pcidp->pm_pcid == PMAP_PCID_KERN) in pmap_pcid_alloc()10093 pcid_next = PMAP_PCID_KERN + 1; in pmap_pcid_alloc()10111 KASSERT(pcidp->pm_pcid != PMAP_PCID_KERN || pmap == kernel_pmap, in pmap_pcid_alloc_checked()
275 #define PMAP_PCID_KERN 0 macro