kernel: dump_ptables: armv7: print rw flags for small pages

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/kernel/arch/armv7/paging.c b/kernel/arch/armv7/paging.c
index 9a83451..a98cab8 100644 (file)
--- a/kernel/arch/armv7/paging.c
+++ b/kernel/arch/armv7/paging.c
@@ -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);
             }
         }
     }