Symbol: sdtx_device_put