Squashed a bug in paging code from the ARMv8 branch. release2015-08-13
authorDavid Cock <david.cock@inf.ethz.ch>
Wed, 12 Aug 2015 11:33:41 +0000 (13:33 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Wed, 12 Aug 2015 11:33:41 +0000 (13:33 +0200)
Signed-off-by: David Cock <david.cock@inf.ethz.ch>

kernel/paging_generic.c

index c73a402..9c2804a 100644 (file)
@@ -288,7 +288,8 @@ errval_t paging_tlb_flush_range(struct cte *frame, size_t offset, size_t pages)
 #error setup page sizes for arch
 #endif
         default:
-            panic("cannot find page size for cap type: %d\n", leaf_pt->cap);
+            panic("cannot find page size for cap type: %d\n",
+                  leaf_pt->cap.type);
             break;
     }
     assert(page_size);