Changes in kernel/generic/src/syscall/syscall.c [24abb85d:134e3f1] in mainline

File:

• kernel/generic/src/syscall/syscall.c (modified) (2 diffs)

kernel/generic/src/syscall/syscall.c

@@ -45 +45 @@
 #include <arch.h>
 #include <debug.h>
+#include <ddi/device.h>
 #include <interrupt.h>
 #include <ipc/sysipc.h>
@@ -174 +175 @@
         
         /* DDI related syscalls. */
+        [SYS_DEVICE_ASSIGN_DEVNO] = (syshandler_t) sys_device_assign_devno,
         [SYS_PHYSMEM_MAP] = (syshandler_t) sys_physmem_map,
         [SYS_PHYSMEM_UNMAP] = (syshandler_t) sys_physmem_unmap,