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);