tco_ctl          1574 drivers/i2c/busses/i2c-i801.c 	u32 tco_base, tco_ctl;
tco_ctl          1584 drivers/i2c/busses/i2c-i801.c 	pci_read_config_dword(pci_dev, TCOCTL, &tco_ctl);
tco_ctl          1585 drivers/i2c/busses/i2c-i801.c 	if (!(tco_ctl & TCOCTL_EN))