9os

commit 86ba759b7819f15d888e5735ccad13926b5f6adb
parent 72c182f83c5bb8845d78a60f36b27593cd0662af
Author: Dimitris Papastamos <dimitris.papastamos@arm.com>
Date:   Fri,  9 Nov 2018 09:03:56 +0000

Merge "Mark trap/badcmd as _Noreturn"
Diffstat:
M
include/rcode.h
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/include/rcode.h b/include/rcode.h
@@ -131,8 +131,8 @@ struct rmucmd {
 extern _Noreturn void halt(void);
 extern _Noreturn void panic(const char *msg);
 extern _Noreturn void swtch(struct trapframe *fp);
-extern void trap(struct trapframe *fp);
-extern void badcmd(int error);
+extern _Noreturn void trap(struct trapframe *fp);
+extern _Noreturn void badcmd(int error);
 extern void printk(const char * restrict fmt, ...) PRINTKFMT;
 extern void rmc(Rmucmd *cmd);
 extern int debug(void);