Lines Matching refs:kernel_pmap
212 pmap_t kernel_pmap = &kernel_pmap_store;
904 if (pmap == kernel_pmap) {
913 if ((pmap != kernel_pmap) && ((cpte & L2_ACCESS_USER) == 0)) {
1082 if (pmap != kernel_pmap)
1261 boolean_t pmap_is_shared = (pmap->pm_shared || (pmap == kernel_pmap));
1304 if (__improbable((pmap == kernel_pmap) && (flush_self != TRUE))) {
1305 panic("pmap_flush_tlbs: pmap == kernel_pmap && flush_self != TRUE");
1347 panic("pmap_update_cache_attributes_locked: Missing PTE, pmap: %p, pn: 0x%x vaddr: 0x%x kernel_pmap: %p", pmap, pn, vaddr, kernel_pmap);
1508 if (pmap != kernel_pmap && virt >= _COMM_PAGE_BASE_ADDRESS)
1630 pmap_enter(kernel_pmap, (vm_map_offset_t) virt, (start_addr >> PAGE_SHIFT), prot, flags, FALSE, TRUE);
1773 uint32_t ptep = (uint32_t) (pmap_pte(kernel_pmap, virt));
1970 kernel_pmap->ledger = NULL;
1971 kernel_pmap->pm_asid = 0;
1972 kernel_pmap->pm_l1_size = 0x4000; /* Cover 4*1024 TTEs */
1973 pmap_common_init(kernel_pmap);
2045 boolean_t is_priv = (pmap == kernel_pmap) ? TRUE : FALSE;
2048 * TTBCR split means that commonpage is at 0x40000000, in kernel_pmap.
2118 boolean_t is_priv = (pmap == kernel_pmap) ? TRUE : FALSE;
2121 * TTBCR split means that commonpage is at 0x40000000, in kernel_pmap.
2198 if (new_pmap == kernel_pmap)
2259 assert(map != kernel_pmap);
2381 pmap_asid_initialize_kernel(kernel_pmap);
2524 commpage = pmap_grab_page(kernel_pmap);
2530 pmap_enter(kernel_pmap, (vm_map_offset_t) _COMM_PAGE_BASE_ADDRESS, commpage->phys_page, VM_PROT_READ | VM_PROT_WRITE, 0, FALSE, TRUE);
2632 boolean_t is_priv = (pmap == kernel_pmap) ? TRUE : FALSE;
2779 if (map != kernel_pmap) {
2855 if (va > _COMM_PAGE_BASE_ADDRESS && pmap != kernel_pmap) {
3047 if (kernel_pmap == pmap) {
3151 kprintf("pmap_init: %d physical pages in memory, kernel pmap at %p\n", (mem_size / PAGE_SIZE), kernel_pmap);
3218 simple_lock_init(&kernel_pmap->lock, 0);
3248 ptep = (pt_entry_t *)pmap_pte(kernel_pmap, (vm_map_offset_t) kva);
3279 pte = (pt_entry_t *)pmap_pte(kernel_pmap, dva);
3305 pmap_flush_tlbs(kernel_pmap, 0, 0xFFFFFFFF);
3314 kernel_pmap->pm_obj = pmap_object;
3648 if (remove || pmap == kernel_pmap) {
3789 if (pmap == kernel_pmap)
3790 panic("pmap_destroy: attempting to destroy kernel_pmap");