alienware_wmax_command  546 drivers/platform/x86/alienware-wmi.c 	    alienware_wmax_command(&in_args, WMAX_METHOD_HDMI_CABLE,
alienware_wmax_command  569 drivers/platform/x86/alienware-wmi.c 	    alienware_wmax_command(&in_args, WMAX_METHOD_HDMI_STATUS,
alienware_wmax_command  598 drivers/platform/x86/alienware-wmi.c 	status = alienware_wmax_command(&args, WMAX_METHOD_HDMI_SOURCE, NULL);
alienware_wmax_command  651 drivers/platform/x86/alienware-wmi.c 	    alienware_wmax_command(&in_args, WMAX_METHOD_AMPLIFIER_CABLE,
alienware_wmax_command  705 drivers/platform/x86/alienware-wmi.c 	status = alienware_wmax_command(&in_args, WMAX_METHOD_DEEP_SLEEP_STATUS,
alienware_wmax_command  737 drivers/platform/x86/alienware-wmi.c 	status = alienware_wmax_command(&args, WMAX_METHOD_DEEP_SLEEP_CONTROL,