--- Gnu-Mach/device/ds_routines.h	2020/09/02 04:45:31	1.1.1.3
+++ Gnu-Mach/device/ds_routines.h	2020/09/02 04:47:52	1.1.1.4
@@ -49,7 +49,6 @@ kern_return_t	device_read_alloc(io_req_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);
-void		device_deallocate(device_t);
 
 boolean_t	ds_notify(mach_msg_header_t *msg);
 boolean_t	ds_open_done(io_req_t);
@@ -59,10 +58,29 @@ 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);
+	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 */