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))