Symbol: lookup_tcb_histent