sys/arch/amd64/stand/efiboot/efiboot.h sys/arch/arm64/stand/efiboot/efiboot.h sys/arch/armv7/stand/efiboot/efiboot.h sys/arch/riscv64/stand/efiboot/efiboot.h
