In the hardware case, this isn't true (correct me) if you flush the TLB
after clearing the page directory entries, surely?
> 2) For the sake of the page table caching we do on all ports now.
>
> For #2, if a page table chunk is cached, it works so efficiently
> because it knows the chunks have been cleared out by the callers at
> some point before being free'd.
Point taken. #2 means nothing would be gained. (Unless clearing a
whole page is faster than clearing one pte at a time..)
-- Jamie
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/