use ASSERT for BUG_ON

diff -r a7922b798098 -r 4d261c3c7c20 extras/mini-os/console/xencons_ring.c
@@ -8,9 +8,6 @@
 #include <xenbus.h>
 #include <xen/io/console.h>
 
-
-/* TODO - need to define BUG_ON for whole mini-os, need crash-dump as well */
-#define BUG_ON(_cond)   do{if(_cond) do_exit();} while(0);
 
 static inline struct xencons_interface *xencons_interface(void)
 {

diff -r a7922b798098 -r 4d261c3c7c20 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);
 

diff -r a7922b798098 -r 4d261c3c7c20 extras/mini-os/xenbus/xenbus.c
@@ -27,10 +27,6 @@
 #include <xen/io/xs_wire.h>
 #include <spinlock.h>
 #include <xmalloc.h>
-
-#define BUG_ON(x) do { \
-    if (x) {printk("BUG at %s:%d\n", __FILE__, __LINE__); BUG(); } \
-} while (0)
 
 #define min(x,y) ({                       \
         typeof(x) tmpx = (x);                 \