--- Gnu-Mach/xen/console.h	2020/09/02 04:52:16	1.1.1.3
+++ Gnu-Mach/xen/console.h	2020/09/02 04:54:21	1.1.1.4
@@ -42,7 +42,7 @@ extern int hypcninit(struct consdev *cp)
 extern int hypcnopen(dev_t dev, int flag, io_req_t ior);
 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 void hypcnclose(dev_t 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);