/sys/dev/efi/

• ../
• efi.c
• efi.h
• efiio.h
• files.efi