sgi_prom_printf
sgi_prom_printf("Failed to identify Pre-ARCBIOS machine. "
sgi_prom_printf("Pre-ARCBIOS machine identified as IP%d\n",
sgi_prom_printf("Bank %d: No RAM present\n", bank);
sgi_prom_printf("Bank %d base 0x%x pages %d\n",
sgi_prom_printf("Bank %d base 0x%x pages %d",
sgi_prom_printf(" (%d reserved)",
sgi_prom_printf("\n");
sgi_prom_printf("%c", c);
int sgi_prom_printf(const char*, ...);