From e68a6ca225115a8796e6d63ffc32856043e25886 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Fri, 22 Mar 2013 13:54:44 +0000 Subject: [cmdline] Add ability to perform a warm reboot Signed-off-by: Michael Brown --- src/core/null_reboot.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/core') diff --git a/src/core/null_reboot.c b/src/core/null_reboot.c index b7e55bce8..8e3ed0bb6 100644 --- a/src/core/null_reboot.c +++ b/src/core/null_reboot.c @@ -32,8 +32,9 @@ FILE_LICENCE ( GPL2_OR_LATER ); /** * Reboot system * + * @v warm Perform a warm reboot */ -static void null_reboot ( void ) { +static void null_reboot ( int warm __unused ) { printf ( "Cannot reboot; not implemented\n" ); while ( 1 ) {} -- cgit v1.2.3-55-g7522