ASUS_WMI_DEVID_WIMAX 1121 drivers/platform/x86/asus-wmi.c 				 RFKILL_TYPE_WIMAX, ASUS_WMI_DEVID_WIMAX);
ASUS_WMI_DEVID_WIMAX 2594 drivers/platform/x86/asus-wmi.c 		bl = !asus_wmi_get_devstate_simple(asus, ASUS_WMI_DEVID_WIMAX);