From 84d3177baeadf10227e4ffe03dc22f0499eadb17 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Fri, 22 Nov 2013 18:30:36 +0100 Subject: 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. --- 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 3ab00ce..dc29413 100644 --- a/ddb/db_mp.c +++ b/ddb/db_mp.c @@ -38,6 +38,7 @@ #include #include +#include /* * 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_ */ -- cgit v1.2.3