Index: arch/ppc32/src/ddi/ddi.c
===================================================================
--- arch/ppc32/src/ddi/ddi.c	(revision e34a141c659de504e44961e0dfe68c28bb8e1ed9)
+++ arch/ppc32/src/ddi/ddi.c	(revision 22cf454db08f8dc472db143a6567d89fb30cc29d)
@@ -46,13 +46,2 @@
 	return 0;
 }
-
-/** Enable/disable interrupts for syscall
- *
- * @param enable If non-zero, interrupts are enabled, otherwise disabled
- * @param flags PPC32 register holding interrupt state.
- */
-__native ddi_int_control_arch(__native enable, __native *flags)
-{
-	// FIXME: TODO
-	return 0;
-}