diff options
| author | Stefan Assmann <sassmann@kpanic.de> | 2017-07-24 14:22:48 +0200 |
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2017-07-25 11:30:45 +0200 |
| commit | 4ecf7191fdcc5686c1eb2b06d7f93ce29d636cf0 (patch) | |
| tree | abbd25866a5224c4644d635eddd97fc539965a8b /arch/x86/boot/compressed/Makefile | |
| parent | 18d5e6c34a8eda438d5ad8b3b15f42dab01bf05d (diff) | |
x86/efi: Fix reboot_mode when EFI runtime services are disabled
When EFI runtime services are disabled, for example by the "noefi"
kernel cmdline parameter, the reboot_type could still be set to
BOOT_EFI causing reboot to fail.
Fix this by checking if EFI runtime services are enabled.
Signed-off-by: Stefan Assmann <sassmann@kpanic.de>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Link: http://lkml.kernel.org/r/20170724122248.24006-1-sassmann@kpanic.de
[ Fixed 'not disabled' double negation. ]
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'arch/x86/boot/compressed/Makefile')
0 files changed, 0 insertions, 0 deletions