init_bootbanner_print
static void init_bootbanner_print(const char *, uint_t);
bootbanner_print(init_bootbanner_print);