Changeset View

Standalone View

	Show All 29 Lines
	__FBSDID("$FreeBSD$");			__FBSDID("$FreeBSD$");

	#include "opt_ddb.h"			#include "opt_ddb.h"

	#include <sys/param.h>			#include <sys/param.h>
	#include <sys/types.h>			#include <sys/types.h>
	#include <sys/kdb.h>			#include <sys/kdb.h>
	#include <sys/pcpu.h>			#include <sys/pcpu.h>
				#include <sys/reg.h>
	#include <sys/smp.h>			#include <sys/smp.h>
	#include <sys/systm.h>			#include <sys/systm.h>

	#include <machine/atomic.h>			#include <machine/atomic.h>
	#include <machine/armreg.h>			#include <machine/armreg.h>
	#include <machine/cpu.h>			#include <machine/cpu.h>
	#include <machine/debug_monitor.h>			#include <machine/debug_monitor.h>
	#include <machine/kdb.h>			#include <machine/kdb.h>
	#include <machine/pcb.h>			#include <machine/pcb.h>
	#include <machine/reg.h>

	#include <ddb/ddb.h>			#include <ddb/ddb.h>
	#include <ddb/db_access.h>			#include <ddb/db_access.h>
	#include <ddb/db_sym.h>			#include <ddb/db_sym.h>

	enum dbg_t {			enum dbg_t {
	DBG_TYPE_BREAKPOINT = 0,			DBG_TYPE_BREAKPOINT = 0,
	DBG_TYPE_WATCHPOINT = 1,			DBG_TYPE_WATCHPOINT = 1,
	▲ Show 20 Lines • Show All 1,015 Lines • Show Last 20 Lines