Symbol: wmi_set_ip_cmd