On Fri, 26 Oct 2018, Sai Praneeth Prakhya wrote: > efi_<reserve/free>_boot_services() are x86 specific quirks and as such > should be in asm/efi.h, so move them from linux/efi.h. Also, call > efi_free_boot_services() from __efi_enter_virtual_mode() as it is x86 > specific call and ideally shouldn't be part of init/main.c > > Signed-off-by: Sai Praneeth Prakhya <sai.praneeth.prakhya@xxxxxxxxx> Acked-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx>