Symbol: wsmux_device