Symbol: wmi_set_channel