kernel/fiasco/src/kern/ia32/kdb_ke-ia32.cpp

   1 INTERFACE [ia32,ux,amd64]:
   2
   3 #define kdb_ke(msg)                     \
   4   asm ("int3                    \n\t"   \
   5        "jmp 1f                  \n\t"   \
   6        ".ascii " #msg  "        \n\t"   \
   7        "1:                      \n\t");
   8
   9 #define kdb_ke_sequence(msg)            \
  10   asm ("int3                    \n\t"   \
  11        "jmp 1f                  \n\t"   \
  12        ".ascii \"*##\"          \n\t"   \
  13        "1:                      \n\t"   \
  14        : : "a"(msg));
  15