diff options
Diffstat (limited to 'src/interface/efi')
| -rw-r--r-- | src/interface/efi/efi_reboot.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/interface/efi/efi_reboot.c b/src/interface/efi/efi_reboot.c index 1ecccc460..bfee36aa3 100644 --- a/src/interface/efi/efi_reboot.c +++ b/src/interface/efi/efi_reboot.c @@ -32,12 +32,13 @@ FILE_LICENCE ( GPL2_OR_LATER ); /** * Reboot system * + * @v warm Perform a warm reboot */ -static void efi_reboot ( void ) { +static void efi_reboot ( int warm ) { EFI_RUNTIME_SERVICES *rs = efi_systab->RuntimeServices; /* Use runtime services to reset system */ - rs->ResetSystem ( EfiResetCold, 0, 0, NULL ); + rs->ResetSystem ( ( warm ? EfiResetWarm : EfiResetCold ), 0, 0, NULL ); } PROVIDE_REBOOT ( efi, reboot, efi_reboot ); |