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()
2073 PCPU_SET(kpmap_store.pm_pcid, PMAP_PCID_KERN); in pmap_bootstrap()2082 PCPU_SET(pcid_next, PMAP_PCID_KERN + 2); in pmap_bootstrap()4301 pmap_pinit_pcids(pmap, PMAP_PCID_KERN + 1, 1); in pmap_pinit0()10065 if (pcidp->pm_pcid == PMAP_PCID_KERN) in pmap_pcid_alloc()10079 pcid_next = PMAP_PCID_KERN + 1; in pmap_pcid_alloc()10097 KASSERT(pcidp->pm_pcid != PMAP_PCID_KERN || pmap == kernel_pmap, in pmap_pcid_alloc_checked()
278 #define PMAP_PCID_KERN 0 macro