debug_init 62 bsp/boot/common/main.c debug_init(); debug_init 35 bsp/boot/include/machdep.h void debug_init(void);