alienware_zone_exit  828 drivers/platform/x86/alienware-wmi.c 	alienware_zone_exit(platform_device);
alienware_zone_exit  846 drivers/platform/x86/alienware-wmi.c 		alienware_zone_exit(platform_device);