Index: kernel/generic/include/ddi/device.h
===================================================================
--- kernel/generic/include/ddi/device.h	(revision 8015eeeca49b33fa24f838db9d0debfdaa86b938)
+++ kernel/generic/include/ddi/device.h	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -40,4 +40,5 @@
 
 extern devno_t device_assign_devno(void);
+extern unative_t sys_device_assign_devno(void);
 
 #endif
Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision 8015eeeca49b33fa24f838db9d0debfdaa86b938)
+++ kernel/generic/include/syscall/syscall.h	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -73,4 +73,5 @@
 	SYS_CAP_REVOKE,
 	
+	SYS_DEVICE_ASSIGN_DEVNO,
 	SYS_PHYSMEM_MAP,
 	SYS_IOSPACE_ENABLE,