| 1479 | } |
| 1480 | |
| 1481 | PMAP_INLINE void |
| 1482 | pmap_tlb_flush_range(pmap_t pmap, vm_offset_t sva, vm_size_t size) |
| 1483 | { |
| 1484 | |
| 1485 | if (pmap == kernel_pmap || !CPU_EMPTY(&pmap->pm_active)) |
| 1486 | tlb_flush_range(sva, size); |
| 1487 | } |
| 1488 | |
| 1489 | /* |
| 1490 | * Abuse the pte2 nodes for unmapped kva to thread a kva freelist through. |
no test coverage detected