Symbol: wsmux_device_list