Let nexus print our flags for us. Also, clean up an obfuscated if stmt.

This commit is contained in:
njl 2004-10-14 22:37:51 +00:00
parent 2982f3e0a0
commit 2049409c03

View File

@ -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) {