update

[l4.git] / l4 / pkg / sigma0 / server / src / memmap_internal.h

diff --git a/l4/pkg/sigma0/server/src/memmap_internal.h b/l4/pkg/sigma0/server/src/memmap_internal.h
index 3a776afbb578fd0785c738c1c718a5abfa7aef4b..e083ef033478ebc4056553304fa7ff46cf6f094c 100644 (file)
--- a/l4/pkg/sigma0/server/src/memmap_internal.h
+++ b/l4/pkg/sigma0/server/src/memmap_internal.h
@@ -14,8 +14,9 @@
 
 enum
 {
-  L4_fpage_cached   = 0x30,
-  L4_fpage_uncached = 0x10,
+  L4_fpage_cached   = L4_FPAGE_CACHEABLE << 4,
+  L4_fpage_uncached = L4_FPAGE_UNCACHEABLE << 4,
+  L4_fpage_buffered = L4_FPAGE_BUFFERABLE << 4,
 };
 
 struct Answer