--- Gnu-Mach/xen/console.h	2020/09/02 04:47:56	1.1.1.2
+++ Gnu-Mach/xen/console.h	2020/09/02 04:52:16	1.1.1.3
@@ -40,9 +40,9 @@ extern int hypcnprobe(struct consdev *cp
 extern int hypcninit(struct consdev *cp);
 
 extern int hypcnopen(dev_t dev, int flag, io_req_t ior);
-extern int hypcnread(int dev, io_req_t ior);
-extern int hypcnwrite(int dev, io_req_t ior);
-extern int hypcnclose(int dev, int flag);
+extern int hypcnread(dev_t dev, io_req_t ior);
+extern int hypcnwrite(dev_t dev, io_req_t ior);
+extern void hypcnclose(int dev, int flag);
 extern io_return_t hypcngetstat(dev_t dev, int flavor, int *data, unsigned int *count);
 extern io_return_t hypcnsetstat(dev_t dev, int flavor, int *data, unsigned int count);
 extern int hypcnportdeath(dev_t dev, mach_port_t port);