Changeset 32e8cd1 in mainline for kernel/arch/sparc32/src/mm/as.c

Timestamp:

2013-12-28T17:16:44Z (11 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

c1023bcb

Parents:

f6f22cdb

Message:

code revision
coding style fixes
removal of debugging printouts and other temporary stuff

File:

• kernel/arch/sparc32/src/mm/as.c (modified) (1 diff)

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

@@ -38 +38 @@
 #include <genarch/mm/page_pt.h>
 
-static ptd_t context_table[ASID_MAX_ARCH] __attribute__((aligned (1024)));
+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;
+        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].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);