update

[l4.git] / kernel / fiasco / src / kern / mem_space_sigma0.cpp

diff --git a/kernel/fiasco/src/kern/mem_space_sigma0.cpp b/kernel/fiasco/src/kern/mem_space_sigma0.cpp
index b5bd9607eb7a45ca689a1e42033da8494bb281ae..b1d68835f4a37ab7b1aa30fed6158b80627915d2 100644 (file)
--- a/kernel/fiasco/src/kern/mem_space_sigma0.cpp
+++ b/kernel/fiasco/src/kern/mem_space_sigma0.cpp
@@ -32,8 +32,8 @@ Mem_space_sigma0::v_fabricate(Vaddr address,
                               unsigned* attribs = 0)
 {
   // special-cased because we don't do ptab lookup for sigma0
-  *phys = address.trunc(Size(Config::SUPERPAGE_SIZE));
-  *size = Size(Config::SUPERPAGE_SIZE);
+  *size = has_superpages() ? Size(Config::SUPERPAGE_SIZE) : Size(Config::PAGE_SIZE);
+  *phys = address.trunc(*size);
 
   if (attribs)
     *attribs = Page_writable | Page_user_accessible | Page_cacheable;