armv5: make cpu driver run again.

[barrelfish] / include / target / arm / barrelfish_kpi / paging_arm_v5.h

diff --git a/include/target/arm/barrelfish_kpi/paging_arm_v5.h b/include/target/arm/barrelfish_kpi/paging_arm_v5.h
index 2119669..553b085 100644 (file)
--- a/include/target/arm/barrelfish_kpi/paging_arm_v5.h
+++ b/include/target/arm/barrelfish_kpi/paging_arm_v5.h
@@ -23,7 +23,7 @@
 
 /* 1MB large pages */
 #define LARGE_PAGE_BITS         20
-#define LARGE_PAGE_SIZE         (1u << PAGE_LARGE_BITS)
+#define LARGE_PAGE_SIZE         (1u << LARGE_PAGE_BITS)
 #define LARGE_PAGE_MASK         (LARGE_PAGE_SIZE - 1)
 #define LARGE_PAGE_OFFSET(a)    ((a) & LARGE_PAGE_MASK)