Index: generic/include/ddi/ddi.h
===================================================================
--- generic/include/ddi/ddi.h	(revision c7c0b89b6e6a42abfe99e8cb5d3d5882ffdeac6e)
+++ generic/include/ddi/ddi.h	(revision 429ff2ea63e3dccc351037f1b2f72ee2844ae09d)
@@ -34,6 +34,6 @@
 #include <typedefs.h>
 
-extern __native sys_map_physmem(ddi_memarg_t *uspace_mem_arg);
-extern __native sys_enable_iospace(ddi_ioarg_t *uspace_io_arg);
+extern __native sys_physmem_map(ddi_memarg_t *uspace_mem_arg);
+extern __native sys_iospace_enable(ddi_ioarg_t *uspace_io_arg);
 
 /*
@@ -42,5 +42,5 @@
 extern __native ddi_int_control_arch(__native enable, __native *flags);
 extern __native ddi_int_control(__native enable, __native *flags);
-extern int ddi_enable_iospace_arch(task_t *task, __address ioaddr, size_t size);
+extern int ddi_iospace_enable_arch(task_t *task, __address ioaddr, size_t size);
 
 #endif