| 1771 | } |
| 1772 | |
| 1773 | static __inline void |
| 1774 | pmap_kenter_attr(vm_offset_t va, vm_paddr_t pa, int mode) |
| 1775 | { |
| 1776 | pt_entry_t *pte; |
| 1777 | |
| 1778 | pte = vtopte(va); |
| 1779 | pte_store(pte, pa | PG_RW | PG_V | pmap_cache_bits(kernel_pmap, |
| 1780 | mode, 0)); |
| 1781 | } |
| 1782 | |
| 1783 | /* |
| 1784 | * Remove a page from the kernel pagetables. |
no test coverage detected