Index: arch/ppc64/src/ddi/ddi.c
===================================================================
--- arch/ppc64/src/ddi/ddi.c	(revision cf85e24c9b6fc5900e0535710b65384f89867e00)
+++ arch/ppc64/src/ddi/ddi.c	(revision 6fa476f7e7159d484a144866a0e63ebf61cb85be)
@@ -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;