Symbol: TLB_BATCH_NR