* Copyright 2002 Andi Kleen, SuSE Labs.
  * Thanks to Ben LaHaise for precious feedback.
  */
-
 #include <linux/highmem.h>
 #include <linux/module.h>
 #include <linux/sched.h>
        /* change init_mm */
        set_pte_atomic(kpte, pte);
 #ifdef CONFIG_X86_32
-       if (SHARED_KERNEL_PMD)
-               return;
-       {
+       if (!SHARED_KERNEL_PMD) {
                struct page *page;
 
                for (page = pgd_list; page; page = (struct page *)page->index) {
                return;
 
        /*
-        * the return value is ignored - the calls cannot fail,
-        * large pages are disabled at boot time.
+        * The return value is ignored - the calls cannot fail,
+        * large pages are disabled at boot time:
         */
        change_page_attr(page, numpages, enable ? PAGE_KERNEL : __pgprot(0));
 
        /*
-        * we should perform an IPI and flush all tlbs,
-        * but that can deadlock->flush only current cpu.
+        * We should perform an IPI and flush all tlbs,
+        * but that can deadlock->flush only current cpu:
         */
        __flush_tlb_all();
 }