Searched defs:dboot_printf (Results 1 - 1 of 1) sorted by relevance

/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_printf.c36 #include "dboot_printf.h"
44 * This file provides simple output formatting via dboot_printf()
63 dboot_printf("Press any key to reboot\n");
74 dboot_printf(char *fmt, ...) function
129 dboot_puts("dboot_printf(): 1st arg is NULL\n");
203 dboot_puts("dboot_printf(): unknown % escape\n");

Completed in 462 milliseconds