devsys: fix types

This doesn't matter for 16bit but will shortly

diff --git a/Kernel/include/devsys.h b/Kernel/include/devsys.h
index 39bbf24..cef99da 100644 (file)
--- a/Kernel/include/devsys.h
+++ b/Kernel/include/devsys.h
@@ -1,3 +1,3 @@
 extern int sys_read(uint8_t minor, uint8_t rawflag, uint8_t flag);
 extern int sys_write(uint8_t minor, uint8_t rawflag, uint8_t flag);
-extern int sys_ioctl(uint8_t minor, uint16_t request, char *data);
+extern int sys_ioctl(uint8_t minor, uarg_t request, char *data);