Searched refs:arcade_ast (Results 1 – 3 of 3) sorted by relevance
43 extern void arcade_ast(thread_t thread);
271 arcade_ast(__unused thread_t thread) in arcade_ast() function
317 arcade_ast(thread); in handle_user_asts_interrupts_enabled()