* Remove a page from the kernel pagetables. * Note: not SMP coherent. */
| 3812 | * Note: not SMP coherent. |
| 3813 | */ |
| 3814 | PMAP_INLINE void |
| 3815 | pmap_kremove(vm_offset_t va) |
| 3816 | { |
| 3817 | pt_entry_t *pte; |
| 3818 | |
| 3819 | pte = vtopte(va); |
| 3820 | pte_clear(pte); |
| 3821 | } |
| 3822 | |
| 3823 | /* |
| 3824 | * Used to map a range of physical addresses into kernel |
no test coverage detected