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 #include <linux/ftrace.h> /* via linux/kprobes.h */ 9 10 static inline int 11 in_dbg_master(void) 12 { 13 #ifdef DDB 14 return (db_active); 15 #endif 16 return (0); 17 } 18 19 #endif 20