Changes in kernel/arch/sparc64/src/mm/sun4u/tlb.c [7e752b2:c15b374] in mainline

File:

• kernel/arch/sparc64/src/mm/sun4u/tlb.c (modified) (6 diffs)

kernel/arch/sparc64/src/mm/sun4u/tlb.c

@@ -360 +360 @@
 static void print_tlb_entry(int i, tlb_tag_read_reg_t t, tlb_data_t d)
 {
-        printf("%u: vpn=%#" PRIx64 ", context=%u, v=%u, size=%u, nfo=%u, "
-            "ie=%u, soft2=%#x, pfn=%#x, soft=%#x, l=%u, "
-            "cp=%u, cv=%u, e=%u, p=%u, w=%u, g=%u\n", i, (uint64_t) t.vpn,
+        printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
+            "ie=%d, soft2=%#x, pfn=%#x, soft=%#x, l=%d, "
+            "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
             t.context, d.v, d.size, d.nfo, d.ie, d.soft2,
             d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
@@ -441 +441 @@
     uintptr_t va, const char *str)
 {
-        fault_if_from_uspace(istate, "%s, address=%p.", str, (void *) va);
+        fault_if_from_uspace(istate, "%s, Address=%p.", str, va);
         panic_memtrap(istate, PF_ACCESS_EXEC, va, str);
 }
@@ -451 +451 @@
 
         va = tag.vpn << MMU_PAGE_WIDTH;
-        fault_if_from_uspace(istate, "%s, page=%p (asid=%u).", str,
-            (void *) va, tag.context);
+        fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d).", str, va,
+            tag.context);
         panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, str);
 }
@@ -462 +462 @@
 
         va = tag.vpn << MMU_PAGE_WIDTH;
-        fault_if_from_uspace(istate, "%s, page=%p (asid=%u).", str,
-            (void *) va, tag.context);
+        fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d).", str, va,
+            tag.context);
         panic_memtrap(istate, PF_ACCESS_WRITE, va, str);
 }
@@ -484 +484 @@
             sfsr.e, sfsr.ct, sfsr.pr, sfsr.w, sfsr.ow, sfsr.fv);
 #endif
-        
-        printf("DTLB SFAR: address=%p\n", (void *) sfar);
+            
+        printf("DTLB SFAR: address=%p\n", sfar);
         
         dtlb_sfsr_write(0);
@@ -508 +508 @@
 #endif
             
-        printf("DTLB SFAR: address=%p\n", (void *) sfar);
+        printf("DTLB SFAR: address=%p\n", sfar);
         
         dtlb_sfsr_write(0);