tco_base 1574 drivers/i2c/busses/i2c-i801.c u32 tco_base, tco_ctl; tco_base 1583 drivers/i2c/busses/i2c-i801.c pci_read_config_dword(pci_dev, TCOBASE, &tco_base); tco_base 1594 drivers/i2c/busses/i2c-i801.c res->start = tco_base & ~1;