[PATCH 18/29] device/dev_pager.c: remove forward declaration

[Marin Ramesa]

* Makefrag.am: Include device/blkio.h.
* device/blkio.h: New file.
Add copyright.
[_DEVICE_BLKIO_H_]: Add ifndef.
(block_io_mmap): Add prototype.
* device/dev_pager.c: Include device/blkio.h.
(block_io_mmap): Remove forward declaration. 

---
 Makefrag.am        |  1 +
 device/blkio.h     | 24 ++++++++++++++++++++++++
 device/dev_pager.c |  4 +---
 3 files changed, 26 insertions(+), 3 deletions(-)
 create mode 100644 device/blkio.h

diff --git a/Makefrag.am b/Makefrag.am
index 155635b..c1387bd 100644
--- a/Makefrag.am
+++ b/Makefrag.am
@@ -279,6 +279,7 @@ EXTRA_DIST += \
 # TODO.  Functions in device/subrs.c should each be moved elsewhere.
 libkernel_a_SOURCES += \
        device/blkio.c \
+       device/blkio.h \
        device/buf.h \
        device/chario.c \
        device/chario.h \
diff --git a/device/blkio.h b/device/blkio.h
new file mode 100644
index 0000000..13a1669
--- /dev/null
+++ b/device/blkio.h
@@ -0,0 +1,24 @@
+/*
+ * 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 _DEVICE_BLKIO_H_
+#define _DEVICE_BLKIO_H_
+
+extern vm_offset_t block_io_mmap(void);
+
+#endif /* _DEVICE_BLKIO_H_ */
diff --git a/device/dev_pager.c b/device/dev_pager.c
index 9f0e8e9..0c13376 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -56,9 +56,7 @@
 #include <device/io_req.h>
 #include <device/memory_object_reply.user.h>
 #include <device/dev_pager.h>
-
-extern vm_offset_t     block_io_mmap();        /* dummy routine to allow
-                                                  mmap for block devices */
+#include <device/blkio.h>
 
 /*
  *     The device pager routines are called directly from the message
-- 
1.8.1.4