1 /* Public domain. */ 2 3 #ifndef _LINUX_KGDB_H 4 #define _LINUX_KGDB_H 5 6 #include <sys/systm.h> 7 8 static inline int 9 in_dbg_master(void) 10 { 11 #ifdef DDB 12 return (db_active); 13 #endif 14 return (0); 15 } 16 17 #endif 18