* remove a page from the kernel pagetables */ PMAP_INLINE */
| 888 | * remove a page from the kernel pagetables |
| 889 | */ |
| 890 | /* PMAP_INLINE */ void |
| 891 | pmap_kremove(vm_offset_t va) |
| 892 | { |
| 893 | pt_entry_t *pte; |
| 894 | |
| 895 | /* |
| 896 | * Write back all caches from the page being destroyed |
| 897 | */ |
| 898 | mips_dcache_wbinv_range_index(va, PAGE_SIZE); |
| 899 | |
| 900 | pte = pmap_pte(kernel_pmap, va); |
| 901 | *pte = PTE_G; |
| 902 | pmap_invalidate_page(kernel_pmap, va); |
| 903 | } |
| 904 | |
| 905 | /* |
| 906 | * Used to map a range of physical addresses into kernel |
no test coverage detected