Index: arch/amd64/src/ddi/ddi.c
===================================================================
--- arch/amd64/src/ddi/ddi.c	(revision 6ecc8bce45bcc67b6373d7dbfafad230f5b1ee01)
+++ arch/amd64/src/ddi/ddi.c	(revision dbbeb263a0a4a4e72142ee94c6c579f349ba17af)
@@ -47,5 +47,5 @@
  * @return 0 on success or an error code from errno.h.
  */
-int ddi_enable_iospace_arch(task_t *task, __address ioaddr, size_t size)
+int ddi_iospace_enable_arch(task_t *task, __address ioaddr, size_t size)
 {
 	count_t bits;