Symbol: tlb_batch_add