From: David Cock <david.cock@inf.ethz.ch>
Date: Wed, 12 Aug 2015 11:33:41 +0000 (+0200)
Subject: Squashed a bug in paging code from the ARMv8 branch.
X-Git-Tag: release2015-08-13
X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=commitdiff_plain;h=c1cb52456a49b5a61cf726ca25438f7162b92196

Squashed a bug in paging code from the ARMv8 branch.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
---

diff --git a/kernel/paging_generic.c b/kernel/paging_generic.c
index c73a402..9c2804a 100644
--- a/kernel/paging_generic.c
+++ b/kernel/paging_generic.c
@@ -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);