sys/arch/amd64/include/efi.h sys/arch/arm/include/efi.h sys/arch/evbarm/include/efi.h sys/arch/i386/include/efi.h sys/arch/ia64/include/efi.h sys/arch/x86/include/efi.h sys/dev/efi/efi.h
