kernel/fiasco/src/kern/bug.h

   1 #pragma once
   2
   3 #ifdef NDEBUG
   4
   5 # define BUG_ON(expr, ...)
   6
   7 #else
   8
   9 # define BUG_ON(expr, ...) \
  10 if (EXPECT_FALSE(!!(expr))) \
  11   { \
  12     printf("%s:%d: BUG (%s): ", __FILE__, __LINE__, #expr); \
  13     printf(__VA_ARGS__); kdb_ke("bug"); \
  14   }
  15
  16 #endif
  17