+/*
+ * Code used to synchronize kdb among all cpus, one active at a time, switch
+ * from on to another using kdb_on! #cpu or cpu #cpu
+ */
+
+decl_simple_lock_data(, kdb_lock) /* kdb lock */
+
+#define db_simple_lock_init(l, e) hw_lock_init(&((l)->interlock))
+#define db_simple_lock_try(l) hw_lock_try(&((l)->interlock))
+#define db_simple_unlock(l) hw_lock_unlock(&((l)->interlock))
+
+int kdb_cpu = -1; /* current cpu running kdb */
+int kdb_debug = 0;
+volatile unsigned int cpus_holding_bkpts; /* counter for number of cpus holding
+ breakpoints (ie: cpus that did not
+ insert back breakpoints) */
+extern boolean_t db_breakpoints_inserted;
+