Symbol: rk_hash_exit_tfm