update

[l4.git] / kernel / fiasco / src / kern / arm / vmem_alloc-arch.cpp

diff --git a/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp b/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp
index d7fdb5208f4e21509775ec7dfad40389f2c0aac0..ec2afeca5a6af1748b5fdf4e99a6a477ccdc24f7 100644 (file)
--- a/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp
+++ b/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp
@@ -50,8 +50,8 @@ void *Vmem_alloc::page_alloc(void *address, Zero_fill zf, unsigned mode)
   void *vpage;
 
   vpage = Mapped_allocator::allocator()->alloc(Config::PAGE_SHIFT);
-  
-  if (EXPECT_FALSE(!vpage)) 
+
+  if (EXPECT_FALSE(!vpage))
     return 0;
 
   page = Kmem_space::kdir()->walk(vpage, 0, false, 0).phys(vpage);