Symbol: release_tcb_histent