/arch/x86/platform/efi/

• ../
• Makefile
• early_printk.c
• efi-bgrt.c
• efi.c
• efi_32.c
• efi_64.c
• efi_stub_32.S
• efi_stub_64.S
• efi_thunk_64.S
• quirks.c