arch_cpu_invalidate_tlb_list
void arch_cpu_invalidate_tlb_list(intptr_t context, addr_t pages[], int num_pages);
arch_cpu_invalidate_tlb_list(0, map->arch_data->pages_to_invalidate,
arch_cpu_invalidate_tlb_list(msg->data, (addr_t*)msg->data2, (int)msg->data3);
arch_cpu_invalidate_tlb_list(context, invalidPages, count);