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 */
