diff options
author | njl <njl@FreeBSD.org> | 2004-10-14 22:37:51 +0000 |
---|---|---|
committer | njl <njl@FreeBSD.org> | 2004-10-14 22:37:51 +0000 |
commit | 2049409c03d600b774240447e86bc11889166ce5 (patch) | |
tree | cc095e56a20bcc10328702cc9c695812b1d78924 /sys | |
parent | 2982f3e0a03795a1e29534369f19e77eb36d46cd (diff) | |
download | FreeBSD-src-2049409c03d600b774240447e86bc11889166ce5.zip FreeBSD-src-2049409c03d600b774240447e86bc11889166ce5.tar.gz |
Let nexus print our flags for us. Also, clean up an obfuscated if stmt.
Diffstat (limited to 'sys')
-rw-r--r-- | sys/i386/isa/npx.c | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/sys/i386/isa/npx.c b/sys/i386/isa/npx.c index 6b27424..47fb58f 100644 --- a/sys/i386/isa/npx.c +++ b/sys/i386/isa/npx.c @@ -423,16 +423,13 @@ npx_attach(dev) flags = device_get_flags(dev); - if (flags) - device_printf(dev, "flags 0x%x ", flags); - if (npx_irq13) { - device_printf(dev, "using IRQ 13 interface\n"); - } else { - if (npx_ex16) - device_printf(dev, "INT 16 interface\n"); - else - device_printf(dev, "WARNING: no FPU!\n"); - } + if (npx_irq13) + device_printf(dev, "IRQ 13 interface\n"); + else if (npx_ex16) + device_printf(dev, "INT 16 interface\n"); + else + device_printf(dev, "WARNING: no FPU!\n"); + npxinit(__INITIAL_NPXCW__); if (npx_cleanstate_ready == 0) { |