sys/arch/i386/stand/efiboot/efiboot.h sys/arch/ia64/stand/efi/libefi/efiboot.h sys/stand/efiboot/efiboot.h
