Symbol: smc_channel_lock_release