TLB_FLUSH_BATCH_PENDING_MASK
(TLB_FLUSH_BATCH_PENDING_MASK / 2)
if ((batch & TLB_FLUSH_BATCH_PENDING_MASK) > TLB_FLUSH_BATCH_PENDING_LARGE) {
int pending = batch & TLB_FLUSH_BATCH_PENDING_MASK;