From b9041d601df82db68762b0b4ce93eee85929ea6a Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 7 Mar 2014 18:53:29 +0100
Subject: [PATCH] hw: Fix name of Page_flags type

The type was accidentally changed by "hw & arm_v6: clean up TLB driver"

ref #1076
---
 base-hw/src/core/tlb/arm_v6.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-hw/src/core/tlb/arm_v6.h b/base-hw/src/core/tlb/arm_v6.h
index f42351fb6..3df6617ed 100644
--- a/base-hw/src/core/tlb/arm_v6.h
+++ b/base-hw/src/core/tlb/arm_v6.h
@@ -93,7 +93,7 @@ class Arm_v6::Section_table : public Arm::Section_table
 
 template <typename T>
 static typename T::access_t
-Arm::memory_region_attr(Pageflags const & flags)
+Arm::memory_region_attr(Page_flags const & flags)
 {
 	typedef typename T::Tex Tex;
 	typedef typename T::C C;