TLB_FLUSH_BATCH_FLUSHED_SHIFT
((1 << (TLB_FLUSH_BATCH_FLUSHED_SHIFT - 1)) - 1)
int flushed = batch >> TLB_FLUSH_BATCH_FLUSHED_SHIFT;
pending | (pending << TLB_FLUSH_BATCH_FLUSHED_SHIFT));