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;