Symbol: do_dboot_printf
usr/src/uts/i86pc/dboot/dboot_printf.c
48
static void do_dboot_printf(char *fmt, va_list args);
usr/src/uts/i86pc/dboot/dboot_printf.c
61
do_dboot_printf(fmt, args);
usr/src/uts/i86pc/dboot/dboot_printf.c
80
do_dboot_printf(fmt, args);