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
10static inline int
11in_dbg_master(void)
12{
13#ifdef DDB
14	return (db_active);
15#endif
16	return (0);
17}
18
19#endif
20