Searched refs:thread_reset_pcs_ast (Results 1 – 3 of 3) sorted by relevance
168 extern void thread_reset_pcs_ast(task_t task, struct thread *thread);
363 thread_reset_pcs_ast(task, thread); in handle_user_asts_interrupts_enabled()
497 thread_reset_pcs_ast(task_t task, thread_t thread) in thread_reset_pcs_ast() function