arch_cpu_user_tlb_invalidate
void arch_cpu_user_tlb_invalidate(intptr_t context);
arch_cpu_user_tlb_invalidate(0);
arch_cpu_user_tlb_invalidate(0);
arch_cpu_user_tlb_invalidate(msg->data);
arch_cpu_user_tlb_invalidate(context);