| 3797 | } |
| 3798 | |
| 3799 | static __inline void |
| 3800 | pmap_kenter_attr(vm_offset_t va, vm_paddr_t pa, int mode) |
| 3801 | { |
| 3802 | pt_entry_t *pte; |
| 3803 | int cache_bits; |
| 3804 | |
| 3805 | pte = vtopte(va); |
| 3806 | cache_bits = pmap_cache_bits(kernel_pmap, mode, 0); |
| 3807 | pte_store(pte, pa | X86_PG_RW | X86_PG_V | pg_g | pg_nx | cache_bits); |
| 3808 | } |
| 3809 | |
| 3810 | /* |
| 3811 | * Remove a page from the kernel pagetables. |
no test coverage detected