38c38
< __FBSDID("$FreeBSD: head/sys/i386/isa/npx.c 115703 2003-06-02 16:32:55Z obrien $");
---
> __FBSDID("$FreeBSD: head/sys/i386/isa/npx.c 117870 2003-07-22 08:11:17Z peter $");
43d42
< #include "opt_math_emulate.h"
109d107
< #define NPX_PREFER_EMULATOR (1 << 3)
473,488c471
< #if defined(MATH_EMULATE) || defined(GPL_MATH_EMULATE)
< if (npx_ex16) {
< if (!(flags & NPX_PREFER_EMULATOR))
< device_printf(dev, "INT 16 interface\n");
< else {
< device_printf(dev, "FPU exists, but flags request "
< "emulator\n");
< hw_float = npx_exists = 0;
< }
< } else if (npx_exists) {
< device_printf(dev, "error reporting broken; using 387 emulator\n");
< hw_float = npx_exists = 0;
< } else
< device_printf(dev, "387 emulator\n");
< #else
< if (npx_ex16) {
---
> if (npx_ex16)
490,496c473,474
< if (flags & NPX_PREFER_EMULATOR) {
< device_printf(dev, "emulator requested, but none compiled "
< "into kernel, using FPU\n");
< }
< } else
< device_printf(dev, "no 387 emulator in kernel and no FPU!\n");
< #endif
---
> else
> device_printf(dev, "WARNING: no FPU!\n");