[PATCH 13/29] device/dev_pager.c (device_pager_data_request): remove forward declaration

[Marin Ramesa]

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

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

diff --git a/Makefrag.am b/Makefrag.am
index 39da40d..155635b 100644
--- a/Makefrag.am
+++ b/Makefrag.am
@@ -292,6 +292,7 @@ libkernel_a_SOURCES += \
        device/dev_master.h \
        device/dev_name.c \
        device/dev_pager.c \
+       device/dev_pager.h \
        device/device_init.c \
        device/device_init.h \
        device/device_port.h \
diff --git a/device/dev_pager.c b/device/dev_pager.c
index 1a60045..8a2797c 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -55,6 +55,7 @@
 #include <device/dev_hdr.h>
 #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 */
@@ -344,7 +345,6 @@ kern_return_t       device_pager_data_request(
 
        if (ds->type == CHAR_PAGER_TYPE) {
            vm_object_t                 object;
-           vm_offset_t                 device_map_page(void *, vm_offset_t);
 
            object = vm_object_lookup(pager_request);
            if (object == VM_OBJECT_NULL) {
diff --git a/device/dev_pager.h b/device/dev_pager.h
new file mode 100644
index 0000000..193edc4
--- /dev/null
+++ b/device/dev_pager.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_DEV_PAGER_H_
+#define _DEVICE_DEV_PAGER_H_
+
+vm_offset_t device_map_page(void *dsp, vm_offset_t offset);
+
+#endif /* _DEVICE_DEV_PAGER_H_ */
-- 
1.8.1.4