diff options
| author | Neal H. Walfield <neal@gnu.org> | 2008-12-04 15:52:33 +0100 |
|---|---|---|
| committer | Neal H. Walfield <neal@gnu.org> | 2008-12-04 15:52:33 +0100 |
| commit | 9e830b06304f2881e2185a9fdc2806ad539f8168 (patch) | |
| tree | cab548ff2afa9ab44d73e62d887485e8fa871263 | |
| parent | 606d973f9aed671ac683ddbd831db4d2680c708e (diff) | |
Don't use asserts in libl4.
2008-12-04 Neal H. Walfield <neal@gnu.org>
* l4/space.h: Don't include <assert.h>.
(_L4_fpage): Remove asserts.
| -rw-r--r-- | libl4/ChangeLog | 5 | ||||
| -rw-r--r-- | libl4/l4/space.h | 4 |
2 files changed, 5 insertions, 4 deletions
diff --git a/libl4/ChangeLog b/libl4/ChangeLog index 3951e92..be01e5a 100644 --- a/libl4/ChangeLog +++ b/libl4/ChangeLog @@ -1,5 +1,10 @@ 2008-12-04 Neal H. Walfield <neal@gnu.org> + * l4/space.h: Don't include <assert.h>. + (_L4_fpage): Remove asserts. + +2008-12-04 Neal H. Walfield <neal@gnu.org> + * l4/misc.h: Include <l4/space.h>. 2008-11-17 Neal H. Walfield <neal@gnu.org> 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; |