machdep.h   35 bsp/boot/common/main.c #include <machdep.h>
machdep.h   37 bsp/boot/common/printf.c #include <machdep.h>	/* for debug_putc */