On Sat, 30 Aug 2008 12:20:12 +0200
Andi Kleen <andi@firstfloor.org> wrote:

quoted text
> Avoid double flush in do_tlb_flush_all()
> 
> leave_mm already flushes the TLBs, so don't need to flush directly
> before that in do_flush_tlb_all(). Avoid the double flush.

but... the leave_mm won't flush the global tlbs, while
__flush_tlb_all() does, right?

sounds like we do need the behavior
--
unsubscribe notice
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/