update

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

diff --git a/kernel/fiasco/src/kern/arm/pagetable-arch.cpp b/kernel/fiasco/src/kern/arm/pagetable-arch.cpp
index 47b3317f76f04a069d481b762fa4eb2f0aa60798..0a34306b4e29fd712252579247180e0742f61924 100644 (file)
--- a/kernel/fiasco/src/kern/arm/pagetable-arch.cpp
+++ b/kernel/fiasco/src/kern/arm/pagetable-arch.cpp
@@ -525,14 +525,15 @@ IMPLEMENTATION [arm]:
 #include "mem.h"
 
 IMPLEMENT
-void * Page_table::operator new( size_t s )
+void *Page_table::operator new(size_t s)
 {
+  (void)s;
   assert(s == 16*1024);
   return alloc()->alloc(14); // 2^14 = 16K
 }
 
 IMPLEMENT
-void Page_table::operator delete( void *b )
+void Page_table::operator delete(void *b)
 {
   alloc()->free(14, b);
 }