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

   1 INTERFACE [arm]:
   2
   3 void kdb_ke(const char *msg) asm ("kern_kdebug_entry")
   4 __attribute__((long_call));
   5
   6 void kdb_ke_sequence(const char *msg) asm ("kern_kdebug_sequence_entry")
   7 __attribute__((long_call));
   8