s3_wmi_pdev        51 drivers/platform/x86/surface3-wmi.c static struct platform_device *s3_wmi_pdev;
s3_wmi_pdev       262 drivers/platform/x86/surface3-wmi.c 	s3_wmi_pdev = platform_device_alloc("surface3-wmi", -1);
s3_wmi_pdev       263 drivers/platform/x86/surface3-wmi.c 	if (!s3_wmi_pdev)
s3_wmi_pdev       266 drivers/platform/x86/surface3-wmi.c 	error = platform_device_add(s3_wmi_pdev);
s3_wmi_pdev       278 drivers/platform/x86/surface3-wmi.c 	platform_device_del(s3_wmi_pdev);
s3_wmi_pdev       280 drivers/platform/x86/surface3-wmi.c 	platform_device_put(s3_wmi_pdev);
s3_wmi_pdev       286 drivers/platform/x86/surface3-wmi.c 	platform_device_unregister(s3_wmi_pdev);