kprobe_flush_task(current);
void flush_thread(void){	struct thread_info *t = current_thread_info();	if (t->flags & _TIF_ABI_PENDING)		t->flags ^= (_TIF_ABI_PENDING | _TIF_32BIT);#ifndef CONFIG_SMP	if (last_task_used_math == current)		last_task_used_math = NULL;#ifdef CONFIG_ALTIVEC	if (last_task_used_altivec == current)		last_task_used_altivec = NULL;#endif /* CONFIG_ALTIVEC */#endif /* CONFIG_SMP */}