From 328a9f879c4b30ae354aac72e405d8cb157052e9 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 27 Jun 2018 23:33:04 +0200
Subject: Add cause_ast_check prototype

As reported by Almudena Garcia <liberamenso10000@gmail.com>

* kern/ast.h [NCPUS > 1] (cause_ast_check): Add prototype.
---
 kern/ast.h | 5 +++++
 1 file changed, 5 insertions(+)

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_ */
-- 
cgit v1.2.3