tco_dev           125 drivers/platform/x86/intel_pmc_ipc.c 	struct platform_device *tco_dev;
tco_dev           724 drivers/platform/x86/intel_pmc_ipc.c 	ipcdev.tco_dev = pdev;
tco_dev           774 drivers/platform/x86/intel_pmc_ipc.c 		platform_device_unregister(ipcdev.tco_dev);
tco_dev           784 drivers/platform/x86/intel_pmc_ipc.c 			platform_device_unregister(ipcdev.tco_dev);
tco_dev           974 drivers/platform/x86/intel_pmc_ipc.c 	platform_device_unregister(ipcdev.tco_dev);
tco_dev           985 drivers/platform/x86/intel_pmc_ipc.c 	platform_device_unregister(ipcdev.tco_dev);