152 static struct platform_device *platform_device;  variable
363 static int alienware_zone_init(struct platform_device *dev)  in alienware_zone_init()
424 static void alienware_zone_exit(struct platform_device *dev)  in alienware_zone_exit()
554 static void remove_hdmi(struct platform_device *dev)  in remove_hdmi()
560 static int create_hdmi(struct platform_device *dev)  in create_hdmi()
594 	platform_device = platform_device_alloc("alienware-wmi", -1);  in alienware_wmi_init()
595 	if (!platform_device) {  in alienware_wmi_init()
599 	ret = platform_device_add(platform_device);  in alienware_wmi_init()
604 		ret = create_hdmi(platform_device);  in alienware_wmi_init()
609 	ret = alienware_zone_init(platform_device);  in alienware_wmi_init()
616 	alienware_zone_exit(platform_device);  in alienware_wmi_init()
618 	platform_device_del(platform_device);  in alienware_wmi_init()
620 	platform_device_put(platform_device);  in alienware_wmi_init()
631 	if (platform_device) {  in alienware_wmi_exit()
632 		alienware_zone_exit(platform_device);  in alienware_wmi_exit()
633 		remove_hdmi(platform_device);  in alienware_wmi_exit()
634 		platform_device_unregister(platform_device);  in alienware_wmi_exit()