Changes in kernel/arch/ia32/src/mm/page.c [b2e121a:a35b458] in mainline

File:

• kernel/arch/ia32/src/mm/page.c (modified) (4 diffs)

kernel/arch/ia32/src/mm/page.c

@@ -54 +54 @@
         uintptr_t cur;
         int flags;
-        
+
         if (config.cpu_active > 1) {
                 /* Fast path for non-boot CPUs */
@@ -63 +63 @@
 
         page_mapping_operations = &pt_mapping_operations;
-        
+
         /*
          * PA2KA(identity) mapping for all low-memory frames.
@@ -74 +74 @@
         }
         page_table_unlock(AS_KERNEL, true);
-                
+
         exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
         write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
-        
+
         paging_on();
 }
@@ -85 +85 @@
         uintptr_t badvaddr;
         pf_access_t access;
-        
+
         badvaddr = read_cr2();
-                
+
         if (istate->error_word & PFERR_CODE_RSVD)
                 panic("Reserved bit set in page directory.");
-        
+
         if (istate->error_word & PFERR_CODE_RW)
                 access = PF_ACCESS_WRITE;
         else
                 access = PF_ACCESS_READ;
-        
+
         (void) as_page_fault(badvaddr, access, istate);
 }