Index: libc/generic/ddi.c
===================================================================
--- libc/generic/ddi.c	(revision 5a4c75466ef97501b585dcafcca85b611d1a8191)
+++ libc/generic/ddi.c	(revision 5140e3ebfd38d983217aba6195de510ad65d0799)
@@ -72,5 +72,5 @@
  *	   was some problem in allocating memory.
  */
-int enable_iospace(task_id_t id, void *ioaddr, unsigned long size)
+int iospace_enable(task_id_t id, void *ioaddr, unsigned long size)
 {
 	task_id_t task_id;
@@ -81,5 +81,5 @@
 	arg.size = size;
 
-	return __SYSCALL1(SYS_ENABLE_IOSPACE, (sysarg_t) &arg);
+	return __SYSCALL1(SYS_IOSPACE_ENABLE, (sysarg_t) &arg);
 }
 
Index: libc/include/ddi.h
===================================================================
--- libc/include/ddi.h	(revision 5a4c75466ef97501b585dcafcca85b611d1a8191)
+++ libc/include/ddi.h	(revision 5140e3ebfd38d983217aba6195de510ad65d0799)
@@ -33,5 +33,5 @@
 
 extern int map_physmem(task_id_t id, void *pf, void *vp, unsigned long pages, int writable);
-extern int enable_iospace(task_id_t id, void *ioaddr, unsigned long size);
+extern int iospace_enable(task_id_t id, void *ioaddr, unsigned long size);
 extern int interrupt_control(int enable);