| 3104 | } |
| 3105 | |
| 3106 | static void |
| 3107 | pmap_invalidate_range_curcpu_cb(pmap_t pmap, vm_offset_t sva, vm_offset_t eva) |
| 3108 | { |
| 3109 | vm_offset_t addr; |
| 3110 | |
| 3111 | if (pmap == kernel_pmap) { |
| 3112 | for (addr = sva; addr < eva; addr += PAGE_SIZE) |
| 3113 | invlpg(addr); |
| 3114 | } else if (pmap == PCPU_GET(curpmap)) { |
| 3115 | for (addr = sva; addr < eva; addr += PAGE_SIZE) |
| 3116 | invlpg(addr); |
| 3117 | pmap_invalidate_range_cb(pmap, sva, eva); |
| 3118 | } |
| 3119 | } |
| 3120 | |
| 3121 | void |
| 3122 | pmap_invalidate_range(pmap_t pmap, vm_offset_t sva, vm_offset_t eva) |