9os

commit 09ed202d28e122de52022a96b0ac5917344143ba
parent 915e696751bc000c24c0106ceb8b1b3262695aef
Author: Dimitris Papastamos <dimitris.papastamos@arm.com>
Date:   Tue,  6 Nov 2018 12:59:18 +0000

Mark halt() as _Noreturn

Change-Id: I8180bc992cf36b6a2080a963cf325a51912c03bb
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>

Diffstat:
M
include/rcode.h
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/include/rcode.h b/include/rcode.h
@@ -159,7 +159,7 @@ extern _Noreturn void swtch(struct trapframe *fp);
 extern void debug(void);
 
 /* architectural functions */
-extern void halt(void);
+extern _Noreturn void halt(void);
 extern void enaint(void);
 extern unsigned long long rd_actlr_r(void);
 extern void wr_actlr_r(unsigned long long v);