Changeset 20d50a1 in mainline for arch/amd64

Timestamp:

2006-01-13T13:02:45Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

f9425006

Parents:

0369911

Message:

Memory management work.

• vm.* → as.* (as like address space is, imho, more fitting)
• Don't do TLB shootdown on vm_install(). Some architectures only need to call tlb_invalidate_asid().
• Don't allocate all frames for as_area in as_area_create(), but let them be allocated on-demand by as_page_fault().
• Add high-level page fault handler as_page_fault().
• Add as_area_load_mapping().

Location:

arch/amd64

Files:

• include/mm/as.h (moved) (moved from arch/amd64/include/mm/vm.h ) (2 diffs)
• src/interrupt.c (modified) (2 diffs)
• src/userspace.c (modified) (1 diff)

arch/amd64/include/mm/as.h

@@ -27 +27 @@
  */
 
-#ifndef __amd64_VM_H__
-#define __amd64_VM_H__
+#ifndef __amd64_AS_H__
+#define __amd64_AS_H__
 
 #include <arch/types.h>
@@ -41 +41 @@
 #define UDATA_ADDRESS_ARCH      0x21000000
 
-#define vm_install_arch(vm)
+#define as_install_arch(as)
 
 #endif

arch/amd64/src/interrupt.c

@@ -36 +36 @@
 #include <arch/asm.h>
 #include <mm/tlb.h>
+#include <mm/as.h>
 #include <arch.h>
 #include <symtab.h>
@@ -125 +126 @@
 }
 
-
-
 void page_fault(int n, void *stack)
 {
-        print_info_errcode(n,stack);
-        printf("Page fault address: %Q\n", read_cr2());
-        panic("page fault\n");
+        __address page;
+        
+        page = read_cr2();
+        if (!as_page_fault(page)) {
+                print_info_errcode(n,stack);
+                printf("Page fault address: %Q\n", page);
+                panic("page fault\n");
+        }
 }
 

arch/amd64/src/userspace.c

@@ -32 +32 @@
 #include <arch.h>
 #include <proc/thread.h>
-#include <mm/vm.h>
+#include <mm/as.h>