tc1100_device      31 drivers/platform/x86/tc1100-wmi.c static struct platform_device *tc1100_device;
tc1100_device     236 drivers/platform/x86/tc1100-wmi.c 	tc1100_device = platform_device_alloc("tc1100-wmi", -1);
tc1100_device     237 drivers/platform/x86/tc1100-wmi.c 	if (!tc1100_device)
tc1100_device     240 drivers/platform/x86/tc1100-wmi.c 	error = platform_device_add(tc1100_device);
tc1100_device     252 drivers/platform/x86/tc1100-wmi.c 	platform_device_del(tc1100_device);
tc1100_device     254 drivers/platform/x86/tc1100-wmi.c 	platform_device_put(tc1100_device);
tc1100_device     260 drivers/platform/x86/tc1100-wmi.c 	platform_device_unregister(tc1100_device);