efi - arch/x86/platform/efi - Linux source code (v4.4.189)

Parent directory
Makefile	206 bytes
early_printk.c	4851 bytes
efi-bgrt.c	2513 bytes
efi.c	26260 bytes
efi_32.c	2356 bytes
efi_64.c	15047 bytes
efi_stub_32.S	2784 bytes
efi_stub_64.S	1900 bytes
efi_thunk_64.S	3081 bytes
quirks.c	7854 bytes