summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2018-06-27 23:33:04 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-06-27 23:34:13 +0200
commit328a9f879c4b30ae354aac72e405d8cb157052e9 (patch)
treefff7fdce738f2deabc871f693063092715096b91
parent94250a842b225bb11d329623b9f85623ef56205b (diff)
Add cause_ast_check prototype
As reported by Almudena Garcia <liberamenso10000@gmail.com> * kern/ast.h [NCPUS > 1] (cause_ast_check): Add prototype.
-rw-r--r--kern/ast.h5
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_ */