Symbol: multiboot2_print_info
sys/arch/i386/i386/machdep.c
423
multiboot2_print_info();
sys/arch/i386/include/multiboot.h
238
void multiboot2_print_info(void);
sys/arch/x86/x86/multiboot2.c
95
void multiboot2_print_info(void);