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