--- Gnu-Mach/device/dev_pager.h	2020/09/02 04:47:50	1.1.1.1
+++ Gnu-Mach/device/dev_pager.h	2020/09/02 04:54:16	1.1.1.2
@@ -23,6 +23,4 @@ vm_offset_t device_map_page(void *dsp, v
 
 boolean_t device_pager_data_request_done(io_req_t ior);
 
-boolean_t device_pager_data_write_done(io_req_t ior);
-
 #endif /* _DEVICE_DEV_PAGER_H_ */