1 files changed, 1 insertions, 0 deletions
diff --git a/kern/ast.h b/kern/ast.h
index 8895ffbc..c8cbd04f 100644
--- a/kern/ast.h
+++ b/kern/ast.h
@@ -133,6 +133,7 @@ extern void ast_init (void);
 extern void ast_check (void);
 
 #if	NCPUS > 1
+extern void init_ast_check(const processor_t processor);
 extern void cause_ast_check(const processor_t processor);
 #endif