--- linux/drivers/char/i810-tco.c.org Mon Jul 2 13:56:41 2001
+++ linux/drivers/char/i810-tco.c Wed Jul 11 14:25:21 2001
@@ -261,11 +261,13 @@
*/
pci_for_each_dev(dev) {
- if (pci_match_device(i810tco_pci_tbl, dev))
+ if (pci_match_device(i810tco_pci_tbl, dev)) {
+ i810tco_pci = dev;
break;
+ }
}
- if ((i810tco_pci = dev)) {
+ if (i810tco_pci) {
/*
* Find the ACPI base I/O address which is the base
* for the TCO registers (TCOBASE=ACPIBASE + 0x60)