* Add a wired page to the kva. * Note: not SMP coherent. */
| 3788 | * Note: not SMP coherent. |
| 3789 | */ |
| 3790 | PMAP_INLINE void |
| 3791 | pmap_kenter(vm_offset_t va, vm_paddr_t pa) |
| 3792 | { |
| 3793 | pt_entry_t *pte; |
| 3794 | |
| 3795 | pte = vtopte(va); |
| 3796 | pte_store(pte, pa | X86_PG_RW | X86_PG_V | pg_g | pg_nx); |
| 3797 | } |
| 3798 | |
| 3799 | static __inline void |
| 3800 | pmap_kenter_attr(vm_offset_t va, vm_paddr_t pa, int mode) |
no test coverage detected