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

Parent directory
Makefile	305 bytes
early_printk.c	4824 bytes
efi.c	27137 bytes
efi_32.c	2445 bytes
efi_64.c	23184 bytes
efi_stub_32.S	2823 bytes
efi_stub_64.S	1202 bytes
efi_thunk_64.S	3120 bytes
quirks.c	18528 bytes