Changes in kernel/arch/amd64/src/mm/page.c [a35b458:44a7ee5] in mainline

File:

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

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

@@ -57 +57 @@
         unsigned int identity_flags =
             PAGE_GLOBAL | PAGE_CACHEABLE | PAGE_EXEC | PAGE_WRITE | PAGE_READ;
-
+                
         page_mapping_operations = &pt_mapping_operations;
-
+                
         page_table_lock(AS_KERNEL, true);
-
+                
         /*
          * PA2KA(identity) mapping for all low-memory frames.
@@ -68 +68 @@
             cur += FRAME_SIZE)
                 page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, identity_flags);
-
+                
         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);
@@ -78 +78 @@
 {
         uintptr_t badvaddr = read_cr2();
-
+        
         if (istate->error_word & PFERR_CODE_RSVD)
                 panic("Reserved bit set in page table entry.");
-
+        
         pf_access_t access;
-
+        
         if (istate->error_word & PFERR_CODE_RW)
                 access = PF_ACCESS_WRITE;
@@ -90 +90 @@
         else
                 access = PF_ACCESS_READ;
-
+        
         (void) as_page_fault(badvaddr, access, istate);
 }