Symbol: dboot_putnum
usr/src/uts/i86pc/dboot/dboot_printf.c
166
dboot_putnum(x, B_FALSE, 16);
usr/src/uts/i86pc/dboot/dboot_printf.c
183
dboot_putnum(x, B_TRUE, 10);
usr/src/uts/i86pc/dboot/dboot_printf.c
207
dboot_putnum(x, B_FALSE, base);