From b5a1c677cae00261962ccfc31f33bc826539fc23 Mon Sep 17 00:00:00 2001 From: Sergey Bugaev Date: Wed, 27 Mar 2024 19:18:35 +0300 Subject: tests: Fix halt() Mark it as noreturn, and make sure to halt, not reboot. Message-ID: <20240327161841.95685-12-bugaevc@gmail.com> --- tests/testlib.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tests/testlib.c') diff --git a/tests/testlib.c b/tests/testlib.c index 2eaeb591..d2198830 100644 --- a/tests/testlib.c +++ b/tests/testlib.c @@ -23,6 +23,7 @@ #include #include #include +#include #include #include @@ -55,7 +56,7 @@ mach_port_t device_priv(void) void halt() { - int ret = host_reboot(host_priv_port, 0); + int ret = host_reboot(host_priv_port, RB_HALT); ASSERT_RET(ret, "host_reboot() failed!"); while (1) ; -- cgit v1.2.3