Symbol: tsp_tlb_invalidate