2003-02-21 12:51:45
by Thomas Schlichter
I found some places where change_page_attr() is called without the corresponding global_flush_tlb(). This patch should fix it... Thomas Schlichter P.S.: I hope this fix is correct at the first try...