arch_cpu_invalidate_tlb_range
void arch_cpu_invalidate_tlb_range(intptr_t context, addr_t start, addr_t end);
arch_cpu_invalidate_tlb_range(0, slot.slot->address,
arch_cpu_invalidate_tlb_range(0, va, va + (IOSPACE_CHUNK_SIZE - B_PAGE_SIZE));
arch_cpu_invalidate_tlb_range(0, va, va);
arch_cpu_invalidate_tlb_range(0, (addr_t)pt, (addr_t)pt);
arch_cpu_invalidate_tlb_range(0, (addr_t)pt, (addr_t)pt);
arch_cpu_invalidate_tlb_range(0, (addr_t)pt, (addr_t)pt);
arch_cpu_invalidate_tlb_range(0, virtualAddress, virtualAddress);
arch_cpu_invalidate_tlb_range(0, va, va);
arch_cpu_invalidate_tlb_range(0, slot.slot->address,
arch_cpu_invalidate_tlb_range(msg->data, msg->data2, msg->data3);