summaryrefslogtreecommitdiff
path: root/ddb
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-11-22 18:30:36 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-11-24 23:09:38 +0100
commit84d3177baeadf10227e4ffe03dc22f0499eadb17 (patch)
tree0852d0ddb8aded7e6b982aafb136e46fefd4cf82 /ddb
parent8abd38165bc354ab709042d560c948e845e19279 (diff)
ddb: create new header file db_mp.h
* Makefrag.am: Include ddb/db_mp.h. * ddb/db_mp.c (remote_db, lock_db, unlock_db): Remove forward declarations. * ddb/db_mp.h: New file. Add copyright. [_DDB_DB_MP_H_]: Add ifndef. (remote_db, lock_db, unlock_db): Add prototypes.
Diffstat (limited to 'ddb')
-rw-r--r--ddb/db_mp.c6
-rw-r--r--ddb/db_mp.h26
2 files changed, 27 insertions, 5 deletions
diff --git a/ddb/db_mp.c b/ddb/db_mp.c
index 3ab00ce..dc29413 100644
--- a/ddb/db_mp.c
+++ b/ddb/db_mp.c
@@ -38,6 +38,7 @@
#include <ddb/db_command.h>
#include <ddb/db_run.h>
+#include <ddb/db_mp.h>
/*
* Routines to interlock access to the kernel debugger on
@@ -54,11 +55,6 @@ int db_slave[NCPUS] = { 0 }; /* nonzero if cpu interrupted
int db_enter_debug = 0;
-void remote_db(); /* forward */
-void lock_db();
-void unlock_db();
-
-
/*
* Called when entering kernel debugger.
* Takes db lock. If we were called remotely (slave state) we just
diff --git a/ddb/db_mp.h b/ddb/db_mp.h
new file mode 100644
index 0000000..a163d99
--- /dev/null
+++ b/ddb/db_mp.h
@@ -0,0 +1,26 @@
+/*
+ * Copyright (c) 2013 Free Software Foundation.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+ */
+
+#ifndef _DDB_DB_MP_H_
+#define _DDB_DB_MP_H_
+
+void remote_db(void);
+void lock_db(void);
+void unlock_db(void);
+
+#endif /* _DDB_DB_MP_H_ */