Index: kernel/arch/arm32/include/machine_func.h
===================================================================
--- kernel/arch/arm32/include/machine_func.h	(revision 8ef4032969b2ae65d0eda0becc48b72441ef778f)
+++ kernel/arch/arm32/include/machine_func.h	(revision 25c97174ad54c56246fcc300267d73f4c184fa15)
@@ -45,6 +45,4 @@
 #include <typedefs.h>
 #include <arch/exception.h>
-
-#define MACHINE_GENFUNC	machine_genfunc
 
 struct arm_machine_ops {
@@ -104,5 +102,4 @@
 extern void machine_input_init(void);
 
-extern void machine_genfunc(void);
 #endif
 
Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision 8ef4032969b2ae65d0eda0becc48b72441ef778f)
+++ kernel/arch/arm32/src/machine_func.c	(revision 25c97174ad54c56246fcc300267d73f4c184fa15)
@@ -106,11 +106,4 @@
 }
 
-/*
- * Generic function to use, if sepcific function doesn't define any of the above functions.
- */
-void machine_genfunc()
-{
-}
-
 /** @}
  */