summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-09 23:57:28 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-10 00:45:11 +0100
commita2622ab4a8b8dcf7feaaf9c466169feb929bcf2e (patch)
tree59da795bf605bb6729d0472d27c8d80fe260ed67 /device
parenteaafcf0c76fe5a21f180c1a00a590e5f1d296ebc (diff)
device/dev_pager.c (device_pager_data_request): remove forward declaration
* 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.
Diffstat (limited to 'device')
-rw-r--r--device/dev_pager.c2
-rw-r--r--device/dev_pager.h24
2 files changed, 25 insertions, 1 deletions
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_ */