X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/kernel/fiasco/src/kern/arm/pagetable-arch.cpp?ds=sidebyside

diff --git a/kernel/fiasco/src/kern/arm/pagetable-arch.cpp b/kernel/fiasco/src/kern/arm/pagetable-arch.cpp
index 47b3317f7..0a34306b4 100644
--- 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);
 }