[gnumach] 03/56: Add device_pager_setup prototype

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch master
in repository gnumach.

commit 3f4b14de254df3fe968fc54e1a3187f5cd8d5def
Author: Marin Ramesa <address@hidden>
Date:   Sat Jun 29 20:46:15 2013 +0200

    Add device_pager_setup prototype
    
    * device/ds_routines.h (device_pager_setup): Add prototype.
---
 device/ds_routines.h |    7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/device/ds_routines.h b/device/ds_routines.h
index a00a12d..c4333f4 100644
--- a/device/ds_routines.h
+++ b/device/ds_routines.h
@@ -58,4 +58,11 @@ boolean_t    ds_write_done(io_req_t);
 
 void           iowait (io_req_t ior);
 
+kern_return_t  device_pager_setup(
+       mach_device_t   device,
+       int             prot,
+       vm_offset_t     offset,
+       vm_size_t       size,
+       mach_port_t     *pager);
+
 #endif /* DS_ROUTINES_H */

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/gnumach.git