diff options
Diffstat (limited to 'src/core/null_reboot.c')
| -rw-r--r-- | src/core/null_reboot.c | 3 |
1 files changed, 2 insertions, 1 deletions
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 ) {} |