Changeset 03427d0 in mainline for arch/ia64/src/mm/as.c

Timestamp:

2006-03-02T17:57:45Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

9459255

Parents:

9ad03fe

Message:

ia64 work.
Add code needed for running multiple address spaces and location of kernel stack
after switch from userspace.

File:

• arch/ia64/src/mm/as.c (modified) (2 diffs)

arch/ia64/src/mm/as.c

@@ -28 +28 @@
 
 #include <arch/mm/as.h>
+#include <arch/mm/asid.h>
+#include <arch/mm/page.h>
 #include <genarch/mm/as_ht.h>
 #include <genarch/mm/asid_fifo.h>
+#include <mm/asid.h>
+#include <arch.h>
+#include <arch/barrier.h>
+#include <synch/spinlock.h>
 
 /** Architecture dependent address space init. */
@@ -37 +43 @@
         asid_fifo_init();
 }
+
+/** Prepare registers for switching to another address space.
+ *
+ * @param as Address space.
+ */
+void as_install_arch(as_t *as)
+{
+        ipl_t ipl;
+        region_register rr;
+        int i;
+        
+        ipl = interrupts_disable();
+        spinlock_lock(&as->lock);
+        
+        ASSERT(as->asid != ASID_INVALID);
+        
+        /*
+         * Load respective ASID (7 consecutive RIDs) to
+         * region registers.
+         */
+        for (i = 0; i < REGION_REGISTERS; i++) {
+                if (i == VRN_KERNEL)
+                        continue;
+                
+                rr.word = rr_read(i);
+                rr.map.ve = false;                      /* disable VHPT walker */
+                rr.map.rid = ASID2RID(as->asid, i);
+                rr.map.ps = PAGE_WIDTH;
+                rr_write(i, rr.word);
+        }
+        srlz_d();
+        srlz_i();
+        
+        spinlock_unlock(&as->lock);
+        interrupts_restore(ipl);
+}