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

/vbox/src/VBox/Devices/PC/BIOS/
H A Dprint.c142 // bios_printf()
149 void bios_printf(uint16_t action, const char *s, ...) function
163 bios_printf (BIOS_PRINTF_SCREEN, "FATAL: ");
237 BX_PANIC("bios_printf: unknown format\n");

Completed in 41 milliseconds