Break devctl() up into smaller syscalls

kernel/dev/fbdev.c

@@ -2,7 +2,7 @@
 #include <stddef.h>
 #include "fbdev.h"
 #include "dev.h"
-#include "sysdefs/devctl.h"
+#include "sysdefs/dev.h"
 #include "hshtb.h"
 #include "spinlock/spinlock.h"
 #include "util/util.h"

kernel/dev/ps2kbdev.c

@@ -8,7 +8,7 @@
 #include "dlmalloc/malloc.h"
 #include "util/util.h"
 #include "hshtb.h"
-#include "sysdefs/devctl.h"
+#include "sysdefs/dev.h"
 #include "proc/proc.h"
 
 #define KB_CTL_STATUS   0x64

kernel/dev/serialdev.c

@@ -5,7 +5,7 @@
 #include "errors.h"
 #include "util/util.h"
 #include "hshtb.h"
-#include "sysdefs/devctl.h"
+#include "sysdefs/dev.h"
 #include "kprintf.h"
 #include "hal/hal.h"
 

kernel/dev/termdev.c

@@ -7,7 +7,7 @@
 #include "errors.h"
 #include "util/util.h"
 #include "hshtb.h"
-#include "sysdefs/devctl.h"
+#include "sysdefs/dev.h"
 
 int32_t termdev_putch(struct Dev *dev, uint8_t *buffer, size_t len, void *extra) {
   (void)dev; (void)extra;