1 files changed, 5 insertions, 0 deletions
diff --git a/kern/ast.h b/kern/ast.h
index 7d472be9..8895ffbc 100644
--- a/kern/ast.h
+++ b/kern/ast.h
@@ -41,6 +41,7 @@
  */
 
 #include "cpu_number.h"
+#include <kern/kern_types.h>
 #include <kern/macros.h>
 #include <machine/ast.h>
 
@@ -131,4 +132,8 @@ extern void ast_init (void);
 
 extern void ast_check (void);
 
+#if	NCPUS > 1
+extern void cause_ast_check(const processor_t processor);
+#endif
+
 #endif	/* _KERN_AST_H_ */