Symbol: release_held_lock_entry