Changes in kernel/generic/src/mm/frame.c [74c5a1ca:ccb426c] in mainline

File:

• kernel/generic/src/mm/frame.c (modified) (2 diffs)

kernel/generic/src/mm/frame.c

@@ -1234 +1234 @@
 {
 #ifdef __32_BITS__
-        printf("[nr] [base addr] [frames    ] [flags ] [free frames ] [busy frames ]\n");
+        printf("[nr] [base addr ] [frames    ] [flags ] [free frames ] [busy frames ]\n");
 #endif
 
 #ifdef __64_BITS__
-        printf("[nr] [base address    ] [frames    ] [flags ] [free frames ] [busy frames ]\n");
+        printf("[nr] [base address      ] [frames    ] [flags ] [free frames ] [busy frames ]\n");
 #endif
         
@@ -1274 +1274 @@
                 
 #ifdef __32_BITS__
-                printf("  %10p", base);
+                printf("   %10p", base);
 #endif
                 
 #ifdef __64_BITS__
-                printf(" %18p", base);
+                printf("   %18p", base);
 #endif