      }
       __flush_tlb();
    
-@@ -4552,7 +4552,7 @@
+@@ -4552,7 +4554,7 @@
      write_cr0(cr0 & 0xbfffffff);
      if (cpu_has_pge)
      {

diff -Nru 15.7/common/lib/modules/fglrx/build_mod/firegl_public.c 15.7.new/common/lib/modules/fglrx/build_mod/firegl_public.c
--- 15.7/common/lib/modules/fglrx/build_mod/firegl_public.c	2015-07-04 10:31:23.000000000 -0400
+++ 15.7.new/common/lib/modules/fglrx/build_mod/firegl_public.c	2015-08-02 19:47:04.123014897 -0400
@@ -4498,8 +4498,8 @@
 
     if (cpu_has_pge)
     {

     }
      __flush_tlb();
 
@@ -4512,7 +4514,7 @@
     write_cr0(cr0 & 0xbfffffff);
     if (cpu_has_pge)
     {
