Flush range of TLB entries (even global). */
| 364 | |
| 365 | /* Flush range of TLB entries (even global). */ |
| 366 | static __inline void |
| 367 | tlb_flush_range_local(vm_offset_t va, vm_size_t size) |
| 368 | { |
| 369 | vm_offset_t eva = va + size; |
| 370 | |
| 371 | KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va)); |
| 372 | KASSERT((size & PAGE_MASK) == 0, ("%s: size %#x not aligned", __func__, |
| 373 | size)); |
| 374 | |
| 375 | dsb(); |
| 376 | for (; va < eva; va += PAGE_SIZE) |
| 377 | _CP15_TLBIMVA(va | CPU_ASID_KERNEL); |
| 378 | dsb(); |
| 379 | } |
| 380 | |
| 381 | /* Broadcasting operations. */ |
| 382 | #if __ARM_ARCH >= 7 && defined(SMP) |
no outgoing calls
no test coverage detected