Symbol: wmi_channel_arg