sys/arch/i386/stand/efiboot/bootia32/efiboot_machdep.h sys/arch/i386/stand/efiboot/bootx64/efiboot_machdep.h sys/stand/efiboot/efiboot_machdep.h
