> because it's not just an open-coded __tlb_flush_all(), it _disables PGE
Yes and?
It changes behaviour in some minor ways but I don't think it makes any
difference. PGE only influences TLB flushes (according to its
specification) and all the TLB flushes still run with PGE disabled.
-Andi
--