update

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

diff --git a/kernel/fiasco/src/kern/buddy_alloc.cpp b/kernel/fiasco/src/kern/buddy_alloc.cpp
index e1d8b99d9fbd12dc22f81c9a8bb4059052a8b4e3..b5b634f9851bfde53e502a8c1843ade0a0ecb309 100644 (file)
--- a/kernel/fiasco/src/kern/buddy_alloc.cpp
+++ b/kernel/fiasco/src/kern/buddy_alloc.cpp
@@ -103,9 +103,9 @@ inline
 void
 Buddy_t_base<A,B,M>::free(void *block, unsigned long size)
 {
-  assert ((unsigned long)block >= _base);
-  assert ((unsigned long)block - _base < Max_mem);
-  assert (!_free_map[((unsigned long)block - _base) / Min_size]);
+  assert_kdb ((unsigned long)block >= _base);
+  assert_kdb ((unsigned long)block - _base < Max_mem);
+  assert_kdb (!_free_map[((unsigned long)block - _base) / Min_size]);
   //bool _b = 0;
   //if (_debug) printf("Buddy::free(%p, %ld)\n", block, size);
   unsigned size_index = 0;