From 71cd50883896dc043f1025a3b96f3c0c7f3b2184 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Fri, 22 Mar 2013 13:42:16 +0000 Subject: [efi] Add "reboot" command for EFI Abstract out the ability to reboot the system to a separate reboot() function (with platform-specific implementations), add an EFI implementation, and make the existing "reboot" command available under EFI. Signed-off-by: Michael Brown --- src/interface/efi/efi_reboot.c | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 src/interface/efi/efi_reboot.c (limited to 'src/interface') diff --git a/src/interface/efi/efi_reboot.c b/src/interface/efi/efi_reboot.c new file mode 100644 index 000000000..1ecccc460 --- /dev/null +++ b/src/interface/efi/efi_reboot.c @@ -0,0 +1,43 @@ +/* + * Copyright (C) 2013 Michael Brown . + * + * This program is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License as + * published by the Free Software Foundation; either version 2 of the + * License, or any later version. + * + * This program is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + * 02110-1301, USA. + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +/** + * @file + * + * EFI reboot mechanism + * + */ + +#include +#include + +/** + * Reboot system + * + */ +static void efi_reboot ( void ) { + EFI_RUNTIME_SERVICES *rs = efi_systab->RuntimeServices; + + /* Use runtime services to reset system */ + rs->ResetSystem ( EfiResetCold, 0, 0, NULL ); +} + +PROVIDE_REBOOT ( efi, reboot, efi_reboot ); -- cgit v1.2.3-55-g7522