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);