Searched refs:PMAP_PCID_KERN (Results 1 – 3 of 3) sorted by relevance
257 #define PMAP_PCID_KERN 0 macro
296 pc->pc_pcid_next = PMAP_PCID_KERN + 2; in init_secondary()
1912 kernel_pmap->pm_pcids[i].pm_pcid = PMAP_PCID_KERN; in pmap_bootstrap()1922 PCPU_SET(pcid_next, PMAP_PCID_KERN + 2); in pmap_bootstrap()4083 pmap->pm_pcids[i].pm_pcid = PMAP_PCID_KERN + 1; in pmap_pinit0()9546 if (pmap->pm_pcids[cpuid].pm_pcid == PMAP_PCID_KERN) in pmap_pcid_alloc()9560 pcid_next = PMAP_PCID_KERN + 1; in pmap_pcid_alloc()9579 KASSERT(pmap->pm_pcids[cpuid].pm_pcid != PMAP_PCID_KERN || in pmap_pcid_alloc_checked()