diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-17 14:40:23 +0000 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-17 14:40:23 +0000 |
| commit | d96277204904407231c1912ac0f30964f8e3dc90 (patch) | |
| tree | 1728e590070aacb4d4f10ba7920b44d52082203c /extras/mini-os/include/lib.h | |
| parent | 41888d5a7ee1e1782c92dc186e5c5d1c0073deee (diff) | |
| download | xen-d96277204904407231c1912ac0f30964f8e3dc90.tar.gz xen-d96277204904407231c1912ac0f30964f8e3dc90.tar.bz2 xen-d96277204904407231c1912ac0f30964f8e3dc90.zip | |
minios: use ASSERT for BUG_ON
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/include/lib.h')
| -rw-r--r-- | extras/mini-os/include/lib.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index 1673d88424..97a2305daa 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -111,6 +111,8 @@ do { \ } \ } while(0) +#define BUG_ON(x) ASSERT(!(x)) + /* Consistency check as much as possible. */ void sanity_check(void); |