--- Gnu-Mach/device/ds_routines.h	2020/09/02 04:43:01	1.1.1.2
+++ Gnu-Mach/device/ds_routines.h	2020/09/02 04:47:52	1.1.1.4
@@ -35,18 +35,52 @@
 
 #include <vm/vm_map.h>
 #include <device/device_types.h>
+#include <device/io_req.h>
+#include <mach/machine/vm_types.h>
 
 /*
  * Map for device IO memory.
  */
-vm_map_t	device_io_map;
+extern vm_map_t		device_io_map;
 
-kern_return_t	device_read_alloc();
-kern_return_t	device_write_get();
-boolean_t	device_write_dealloc();
-
-boolean_t	ds_open_done();
-boolean_t	ds_read_done();
-boolean_t	ds_write_done();
+extern queue_head_t	io_done_list;
+
+kern_return_t	device_read_alloc(io_req_t, vm_size_t);
+kern_return_t	device_write_get(io_req_t, boolean_t *);
+boolean_t	device_write_dealloc(io_req_t);
+void		device_reference(device_t);
+
+boolean_t	ds_notify(mach_msg_header_t *msg);
+boolean_t	ds_open_done(io_req_t);
+boolean_t	ds_read_done(io_req_t);
+boolean_t	ds_write_done(io_req_t);
+
+void		iowait (io_req_t ior);
+
+kern_return_t	device_pager_setup(
+	const mach_device_t	device,
+	int			prot,
+	vm_offset_t		offset,
+	vm_size_t		size,
+	mach_port_t		*pager);
+
+extern void mach_device_init(void);
+extern void dev_lookup_init(void);
+extern void device_pager_init(void);
+extern void io_done_thread(void) __attribute__ ((noreturn));
+
+io_return_t ds_device_write_trap(
+	device_t 	dev,
+	dev_mode_t 	mode,
+	recnum_t 	recnum,
+	vm_offset_t 	data,
+	vm_size_t 	count);
+
+io_return_t ds_device_writev_trap(
+	device_t 	dev,
+	dev_mode_t 	mode,
+	recnum_t 	recnum,
+	io_buf_vec_t 	*iovec,
+	vm_size_t 	count);
 
 #endif	/* DS_ROUTINES_H */