hp_wmi_read_int   282 drivers/platform/x86/hp-wmi.c 	int state = hp_wmi_read_int(HPWMI_HARDWARE_QUERY);
hp_wmi_read_int   341 drivers/platform/x86/hp-wmi.c 	int wireless = hp_wmi_read_int(HPWMI_WIRELESS_QUERY);
hp_wmi_read_int   353 drivers/platform/x86/hp-wmi.c 	int wireless = hp_wmi_read_int(HPWMI_WIRELESS_QUERY);
hp_wmi_read_int   409 drivers/platform/x86/hp-wmi.c 	int value = hp_wmi_read_int(HPWMI_DISPLAY_QUERY);
hp_wmi_read_int   418 drivers/platform/x86/hp-wmi.c 	int value = hp_wmi_read_int(HPWMI_HDDTEMP_QUERY);
hp_wmi_read_int   427 drivers/platform/x86/hp-wmi.c 	int value = hp_wmi_read_int(HPWMI_ALS_QUERY);
hp_wmi_read_int   455 drivers/platform/x86/hp-wmi.c 	int value = hp_wmi_read_int(HPWMI_POSTCODEERROR_QUERY);
hp_wmi_read_int   574 drivers/platform/x86/hp-wmi.c 		key_code = hp_wmi_read_int(HPWMI_HOTKEY_QUERY);
hp_wmi_read_int   696 drivers/platform/x86/hp-wmi.c 	wireless = hp_wmi_read_int(HPWMI_WIRELESS_QUERY);