196 	((pmap) != kernel_pmap && (pmap)->pm_stats.resident_count == 0)
904 	PMAP_LOCK_INIT(kernel_pmap);  in mmu_booke_bootstrap()
906 	debugf("kernel_pmap = 0x%"PRI0ptrX"\n", (uintptr_t)kernel_pmap);  in mmu_booke_bootstrap()
909 		kernel_pmap->pm_tid[i] = TID_KERNEL;  in mmu_booke_bootstrap()
912 		tidbusy[i][TID_KERNEL] = kernel_pmap;  in mmu_booke_bootstrap()
916 	CPU_FILL(&kernel_pmap->pm_active);  in mmu_booke_bootstrap()
1040 		p = pte_vatopa(kernel_pmap, va);  in mmu_booke_kextract()
1151 	pte = pte_find(kernel_pmap, va);  in mmu_booke_kenter_attr()
1192 	pte = pte_find(kernel_pmap, va);  in mmu_booke_kremove()
1284 	su = (pmap == kernel_pmap);  in mmu_booke_enter_locked()
1508 	int su = (pmap == kernel_pmap);  in mmu_booke_remove()
1607 	KASSERT((pmap != kernel_pmap), ("mmu_booke_activate: kernel_pmap!"));  in mmu_booke_activate()
1765 		if (pmap == kernel_pmap)  in mmu_booke_extract_and_hold()
2170 		pte = pte_find(kernel_pmap, va);  in mmu_booke_scan_init()
2183 			pte = pte_find(kernel_pmap, va);  in mmu_booke_scan_init()
2428 		pte = pte_find(kernel_pmap, va);  in mmu_booke_change_attr()
2436 		pte = pte_find(kernel_pmap, va);  in mmu_booke_change_attr()
2467 	KASSERT((pmap != kernel_pmap), ("tid_alloc: kernel pmap"));  in tid_alloc()