Changes in kernel/arch/sparc32/src/mm/as.c [ef9a2a8:b6b02c0] in mainline

File:

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

kernel/arch/sparc32/src/mm/as.c

@@ -1 +1 @@
 /*
- * Copyright (c) 2013 Jakub Klama
+ * Copyright (c) 2010 Martin Decky
  * All rights reserved.
  *
@@ -27 +27 @@
  */
 
-/** @addtogroup sparc32mm
+/** @addtogroup abs32lemm
  * @{
  */
 
 #include <mm/as.h>
-#include <arch/arch.h>
-#include <arch/asm.h>
 #include <arch/mm/as.h>
-#include <arch/mm/page.h>
 #include <genarch/mm/page_pt.h>
-
-static ptd_t context_table[ASID_MAX_ARCH] __attribute__((aligned (1024)));
 
 void as_arch_init(void)
 {
         as_operations = &as_pt_operations;
-        as_context_table = (uintptr_t)&context_table;
-}
-
-void as_install_arch(as_t *as)
-{
-        printf("as_install_arch(asid=%d)\n", as->asid);
-        printf("genarch.page_table=%p\n", as->genarch.page_table);
-
-        context_table[as->asid].table_pointer = (uintptr_t)as->genarch.page_table >> 6;
-        context_table[as->asid].et = PTE_ET_DESCRIPTOR;
-        asi_u32_write(ASI_MMUREGS, 0x200, as->asid);
 }