diff options
author | dfr <dfr@FreeBSD.org> | 2000-01-25 21:39:20 +0000 |
---|---|---|
committer | dfr <dfr@FreeBSD.org> | 2000-01-25 21:39:20 +0000 |
commit | 4825204b375c70c05c1ea401db59241a040ffb2f (patch) | |
tree | a726440205f3cd9de3ef24a985e38990df561039 /sys/i386 | |
parent | 0ca52ef8b9c5ea4a8cfbc510b055b94de468a148 (diff) | |
download | FreeBSD-src-4825204b375c70c05c1ea401db59241a040ffb2f.zip FreeBSD-src-4825204b375c70c05c1ea401db59241a040ffb2f.tar.gz |
Use device_printf() instead of device_print_prettyname().
Diffstat (limited to 'sys/i386')
-rw-r--r-- | sys/i386/isa/npx.c | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/sys/i386/isa/npx.c b/sys/i386/isa/npx.c index 8e736c0..c9d92f4 100644 --- a/sys/i386/isa/npx.c +++ b/sys/i386/isa/npx.c @@ -418,35 +418,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__); |