/arch/x86/platform/efi/
../
Makefile
efi-bgrt.c
efi.c
efi_32.c
efi_64.c
efi_stub_32.S
efi_stub_64.S