[PATCH 3/7] ddb: create new header file db_mp.h

[Marin Ramesa]

* 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.

---
 Makefrag.am |  1 +
 ddb/db_mp.c |  6 +-----
 ddb/db_mp.h | 26 ++++++++++++++++++++++++++
 3 files changed, 28 insertions(+), 5 deletions(-)
 create mode 100644 ddb/db_mp.h

diff --git a/Makefrag.am b/Makefrag.am
index cce42cb..abebd08 100644
--- a/Makefrag.am
+++ b/Makefrag.am
@@ -42,6 +42,7 @@ libkernel_a_SOURCES += \
        ddb/db_macro.c \
        ddb/db_macro.h \
        ddb/db_mp.c \
+       ddb/db_mp.h \
        ddb/db_output.c \
        ddb/db_output.h \
        ddb/db_print.c \
diff --git a/ddb/db_mp.c b/ddb/db_mp.c
index 831381f..81a567a 100644
--- a/ddb/db_mp.c
+++ b/ddb/db_mp.c
@@ -40,6 +40,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
@@ -56,11 +57,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_ */
-- 
1.8.1.4