Symbol: tlb_batch