On Mon, May 22, 2017 at 4:24 PM, Nadav Amit <[email protected]> wrote: >> >> /* Balance as user space task's flush, a bit conservative */ >> if (end == TLB_FLUSH_ALL || >> - (end - start) > tlb_single_page_flush_ceiling * PAGE_SIZE) { >> + (end - start) > tlb_single_page_flush_ceiling >> PAGE_SHIFT) { > > Shouldn’t it be << ?
Gah, that's embarrassing.

