Symbol: bios_print
sys/arch/amd64/amd64/bios.c
536
bios_print(void *aux, const char *pnp)
sys/arch/i386/i386/bios.c
634
bios_print(void *aux, const char *pnp)