dump_bootinfo      83 bsp/boot/common/main.c 	dump_bootinfo();
dump_bootinfo      57 bsp/boot/include/boot.h void	 dump_bootinfo(void);