diff options
author | dg <dg@FreeBSD.org> | 1994-06-11 05:17:15 +0000 |
---|---|---|
committer | dg <dg@FreeBSD.org> | 1994-06-11 05:17:15 +0000 |
commit | c19ab010d2674714ac38f00d20fc98b88d05c25a (patch) | |
tree | 07a19d2b896ee6cdd0ccc2c2d03f573cd4cac373 /sys | |
parent | d5fc783f27a59146a42f602bb4e273e7cf4cab35 (diff) | |
download | FreeBSD-src-c19ab010d2674714ac38f00d20fc98b88d05c25a.zip FreeBSD-src-c19ab010d2674714ac38f00d20fc98b88d05c25a.tar.gz |
Fix from Bruce Evans:
Set npx_exists = 0 in the case of broken error reporting.
Diffstat (limited to 'sys')
-rw-r--r-- | sys/amd64/amd64/fpu.c | 6 | ||||
-rw-r--r-- | sys/amd64/isa/npx.c | 6 | ||||
-rw-r--r-- | sys/i386/isa/npx.c | 6 |
3 files changed, 12 insertions, 6 deletions
diff --git a/sys/amd64/amd64/fpu.c b/sys/amd64/amd64/fpu.c index 17400bd..a3ce1e2 100644 --- a/sys/amd64/amd64/fpu.c +++ b/sys/amd64/amd64/fpu.c @@ -321,10 +321,12 @@ npxattach(dvp) struct isa_device *dvp; { if (!npx_ex16 && !npx_irq13) { - if (npx_exists) + if (npx_exists) { printf("npx%d: Error reporting broken, using 387 emulator\n",dvp->id_unit); - else + npx_exists = 0; + } else { printf("npx%d: 387 Emulator\n",dvp->id_unit); + } } npxinit(__INITIAL_NPXCW__); return (1); /* XXX unused */ diff --git a/sys/amd64/isa/npx.c b/sys/amd64/isa/npx.c index 17400bd..a3ce1e2 100644 --- a/sys/amd64/isa/npx.c +++ b/sys/amd64/isa/npx.c @@ -321,10 +321,12 @@ npxattach(dvp) struct isa_device *dvp; { if (!npx_ex16 && !npx_irq13) { - if (npx_exists) + if (npx_exists) { printf("npx%d: Error reporting broken, using 387 emulator\n",dvp->id_unit); - else + npx_exists = 0; + } else { printf("npx%d: 387 Emulator\n",dvp->id_unit); + } } npxinit(__INITIAL_NPXCW__); return (1); /* XXX unused */ diff --git a/sys/i386/isa/npx.c b/sys/i386/isa/npx.c index 17400bd..a3ce1e2 100644 --- a/sys/i386/isa/npx.c +++ b/sys/i386/isa/npx.c @@ -321,10 +321,12 @@ npxattach(dvp) struct isa_device *dvp; { if (!npx_ex16 && !npx_irq13) { - if (npx_exists) + if (npx_exists) { printf("npx%d: Error reporting broken, using 387 emulator\n",dvp->id_unit); - else + npx_exists = 0; + } else { printf("npx%d: 387 Emulator\n",dvp->id_unit); + } } npxinit(__INITIAL_NPXCW__); return (1); /* XXX unused */ |