[PATCH] gnumach/device/ds_routines.h (device_pager_setup): add a function prototype

[Marin Ramesa]

There is a function declared in dev_pager.c, used in ds_routines.c 
without a prototype.

--- ./gnumach/device/ds_routines.h      2013-06-28 10:10:49.875024397 +0200
+++ ./gnumach1/device/ds_routines.h     2013-06-28 19:39:36.544358212 +0200
@@ -58,4 +58,11 @@
 
 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 */