print_module 83 bsp/boot/common/bootinfo.c print_module(&bi->kernel); print_module 84 bsp/boot/common/bootinfo.c print_module(&bi->driver); print_module 88 bsp/boot/common/bootinfo.c print_module(m);