| 837 | } |
| 838 | |
| 839 | void |
| 840 | pmap_kenter(vm_offset_t va, vm_paddr_t pa) |
| 841 | { |
| 842 | |
| 843 | KASSERT(is_cacheable_mem(pa), |
| 844 | ("pmap_kenter: memory at 0x%lx is not cacheable", (u_long)pa)); |
| 845 | |
| 846 | pmap_kenter_attr(va, pa, VM_MEMATTR_DEFAULT); |
| 847 | } |
| 848 | |
| 849 | void |
| 850 | pmap_kenter_device(vm_offset_t va, vm_size_t size, vm_paddr_t pa) |
no test coverage detected