Index: arch/ppc64/src/ddi/ddi.c
===================================================================
--- arch/ppc64/src/ddi/ddi.c	(revision cf85e24c9b6fc5900e0535710b65384f89867e00)
+++ arch/ppc64/src/ddi/ddi.c	(revision fd8af4b5fe07bff5ecac5f36ed3e01540d4f4bbe)
@@ -42,5 +42,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)
 {
 	return 0;