kernel: dump_ptables: armv7: print rw flags for small pages
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:39:23 +0000 (09:39 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:39:23 +0000 (09:39 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/arch/armv7/paging.c

index 9a83451..a98cab8 100644 (file)
@@ -670,7 +670,8 @@ void paging_dump_tables(struct dcb *dispatcher)
                 if (!paddr) {
                     continue;
                 }
-                printf("%d.%d: 0x%"PRIxGENPADDR"\n", l1_index, entry, paddr);
+                printf("%d.%d: 0x%"PRIxGENPADDR" (rw=%d%d)\n", l1_index, entry, paddr,
+                        (e->small_page.ap10 >> 1) & 1, e->small_page.ap10 & 1);
             }
         }
     }