diff options
Diffstat (limited to 'libl4/l4/space.h')
| -rw-r--r-- | libl4/l4/space.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/libl4/l4/space.h b/libl4/l4/space.h index 53d2193..f4038cd 100644 --- a/libl4/l4/space.h +++ b/libl4/l4/space.h @@ -26,7 +26,6 @@ #include <l4/math.h> #include <l4/bits/space.h> #include <l4/syscall.h> -#include <assert.h> typedef _L4_RAW @@ -84,9 +83,6 @@ _L4_fpage (_L4_word_t base, int size) _L4_word_t msb = _L4_msb (size) - 1; _L4_word_t lsb = _L4_lsb (size) - 1; - assert ((base & ((1 << 10) - 1)) == 0); - assert (msb == lsb); - fpage.base = base >> 10; fpage.log2_size = size ? ((1 << msb) == size ? msb : msb + 1) : 0; fpage.rights = _L4_no_access; |