Index: arch/amd64/src/ddi/ddi.c
===================================================================
--- arch/amd64/src/ddi/ddi.c	(revision ad45bde902facf893e06d19f51ac7e543fcf12f6)
+++ arch/amd64/src/ddi/ddi.c	(revision 6fa476f7e7159d484a144866a0e63ebf61cb85be)
@@ -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;
Index: arch/ia32/src/ddi/ddi.c
===================================================================
--- arch/ia32/src/ddi/ddi.c	(revision ad45bde902facf893e06d19f51ac7e543fcf12f6)
+++ arch/ia32/src/ddi/ddi.c	(revision 6fa476f7e7159d484a144866a0e63ebf61cb85be)
@@ -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;
Index: arch/ia64/src/ddi/ddi.c
===================================================================
--- arch/ia64/src/ddi/ddi.c	(revision ad45bde902facf893e06d19f51ac7e543fcf12f6)
+++ arch/ia64/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;
Index: arch/mips32/src/ddi/ddi.c
===================================================================
--- arch/mips32/src/ddi/ddi.c	(revision ad45bde902facf893e06d19f51ac7e543fcf12f6)
+++ arch/mips32/src/ddi/ddi.c	(revision 6fa476f7e7159d484a144866a0e63ebf61cb85be)
@@ -45,5 +45,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;
Index: arch/ppc32/src/ddi/ddi.c
===================================================================
--- arch/ppc32/src/ddi/ddi.c	(revision ad45bde902facf893e06d19f51ac7e543fcf12f6)
+++ arch/ppc32/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;
Index: arch/ppc64/src/ddi/ddi.c
===================================================================
--- arch/ppc64/src/ddi/ddi.c	(revision ad45bde902facf893e06d19f51ac7e543fcf12f6)
+++ 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;
Index: arch/sparc64/src/ddi/ddi.c
===================================================================
--- arch/sparc64/src/ddi/ddi.c	(revision ad45bde902facf893e06d19f51ac7e543fcf12f6)
+++ arch/sparc64/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;