/arch/x86/platform/efi/
../
Makefile
early_printk.c
efi.c
efi_32.c
efi_64.c
efi_stub_32.S
efi_stub_64.S
efi_thunk_64.S
quirks.c