| 6284 | } |
| 6285 | |
| 6286 | void |
| 6287 | pmap_kremove_device(vm_offset_t va, vm_size_t size) |
| 6288 | { |
| 6289 | vm_offset_t sva; |
| 6290 | |
| 6291 | KASSERT((size & PAGE_MASK) == 0, |
| 6292 | ("%s: device mapping not page-sized", __func__)); |
| 6293 | |
| 6294 | sva = va; |
| 6295 | while (size != 0) { |
| 6296 | pmap_kremove(va); |
| 6297 | va += PAGE_SIZE; |
| 6298 | size -= PAGE_SIZE; |
| 6299 | } |
| 6300 | tlb_flush_range(sva, va - sva); |
| 6301 | } |
| 6302 | |
| 6303 | void |
| 6304 | pmap_set_pcb_pagedir(pmap_t pmap, struct pcb *pcb) |
nothing calls this directly
no test coverage detected