Symbol: wmi_set_ie_cmd