Searched refs:print_bootinfo (Results 1 – 3 of 3) sorted by relevance
19 int print_bootinfo(void);
125 print_bootinfo(); in checkboard()
79 int print_bootinfo(void) in print_bootinfo() function