From b50e90de4e56d22f5f40f09f02c7b9d7833a8452 Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Thu, 2 Jan 2014 23:38:10 +0100
Subject: kern/kernel: update kernel entry declarations

Tell the compiler these functions don't return.
---
 kern/kernel.h | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'kern/kernel.h')

diff --git a/kern/kernel.h b/kern/kernel.h
index f5821ca..868066e 100644
--- a/kern/kernel.h
+++ b/kern/kernel.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2010, 2012 Richard Braun.
+ * Copyright (c) 2010, 2012, 2014 Richard Braun.
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -18,6 +18,8 @@
 #ifndef _KERN_KERNEL_H
 #define _KERN_KERNEL_H
 
+#include <kern/macros.h>
+
 /*
  * Kernel properties.
  */
@@ -29,13 +31,13 @@
  *
  * Interrupts must be disabled when calling this function.
  */
-void kernel_main(void);
+void __noreturn kernel_main(void);
 
 /*
  * Entry point for APs.
  *
  * Interrupts must be disabled when calling this function.
  */
-void kernel_ap_main(void);
+void __noreturn kernel_ap_main(void);
 
 #endif /* _KERN_KERNEL_H */
-- 
cgit v1.2.3