diff options
author | kato <kato@FreeBSD.org> | 2000-01-26 11:16:14 +0000 |
---|---|---|
committer | kato <kato@FreeBSD.org> | 2000-01-26 11:16:14 +0000 |
commit | c5a78336fec6b1d0b003e8f47ffee09df9e2edea (patch) | |
tree | efbd6cd00f7bfb39d6eb5e1fb8b1015580af90ef | |
parent | 7e6dc4529230f1440c8b7791225edfcf25ca8138 (diff) | |
download | FreeBSD-src-c5a78336fec6b1d0b003e8f47ffee09df9e2edea.zip FreeBSD-src-c5a78336fec6b1d0b003e8f47ffee09df9e2edea.tar.gz |
Synced with sys/i386/isa/npx.c rev 1.79.
-rw-r--r-- | sys/pc98/pc98/npx.c | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/sys/pc98/pc98/npx.c b/sys/pc98/pc98/npx.c index b44afa0..3a7f592 100644 --- a/sys/pc98/pc98/npx.c +++ b/sys/pc98/pc98/npx.c @@ -471,35 +471,34 @@ npx_attach(dev) if (resource_int_value("npx", 0, "flags", &flags) != 0) flags = 0; - device_print_prettyname(dev); if (flags) - printf("flags 0x%x ", flags); + device_printf(dev, "flags 0x%x ", flags); if (npx_irq13) { - printf("using IRQ 13 interface\n"); + device_printf(dev, "using IRQ 13 interface\n"); } else { #if defined(MATH_EMULATE) || defined(GPL_MATH_EMULATE) if (npx_ex16) { if (!(flags & NPX_PREFER_EMULATOR)) - printf("INT 16 interface\n"); + device_printf(dev, "INT 16 interface\n"); else { - printf("FPU exists, but flags request " + device_printf(dev, "FPU exists, but flags request " "emulator\n"); hw_float = npx_exists = 0; } } else if (npx_exists) { - printf("error reporting broken; using 387 emulator\n"); + device_printf(dev, "error reporting broken; using 387 emulator\n"); hw_float = npx_exists = 0; } else - printf("387 emulator\n"); + device_printf(dev, "387 emulator\n"); #else if (npx_ex16) { - printf("INT 16 interface\n"); + device_printf(dev, "INT 16 interface\n"); if (flags & NPX_PREFER_EMULATOR) { - printf("emulator requested, but none compiled " + device_printf(dev, "emulator requested, but none compiled " "into kernel, using FPU\n"); } } else - printf("no 387 emulator in kernel and no FPU!\n"); + device_printf(dev, "no 387 emulator in kernel and no FPU!\n"); #endif } npxinit(__INITIAL_NPXCW__); |