Lines Matching refs:pmap_kernel

301 	kernel_map_store.pmap = pmap_kernel();
406 	KASSERT(vm_map_pmap(map) == pmap_kernel());
467 	pmap_remove(pmap_kernel(), startva, endva);
535 			if (!pmap_extract(pmap_kernel(), va, &pa[i])) {
571 		if (pmap_extract(pmap_kernel(), va, &pa)) {
621 	KASSERT(vm_map_pmap(map) == pmap_kernel());
685 		KASSERTMSG(!pmap_extract(pmap_kernel(), loopva, NULL),
727 	pmap_update(pmap_kernel());
761 	KASSERT(vm_map_pmap(map) == pmap_kernel());
849 		KASSERTMSG(!pmap_extract(pmap_kernel(), loopva, &pa),
877 	pmap_update(pmap_kernel());
899 	pmap_update(pmap_kernel());