9os

commit 4ee5f2129aa0bcfc0421c0543ef53bd016ed5d8e
parent dc2cf4b8464c51273a9a6f750299851678bafbfc
Author: Roberto Vargas <roberto.vargas@arm.com>
Date:   Wed,  7 Nov 2018 08:21:29 +0000

[amd64] Avoid noreturn warning in halt()

Change-Id: I3ac0b7eca77b2613c03cbf2c0ca2d5253f063597

Diffstat:
M
arch/amd64/arch.c
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/arch/amd64/arch.c b/arch/amd64/arch.c
@@ -7,6 +7,7 @@
 
 jmp_buf recover;
 
+_Noreturn void abort(void);
 
 void
 halt(void)