Changes in kernel/arch/arm32/src/mach/integratorcp/integratorcp.c [eff1f033:ecf083dd] in mainline

File:

• kernel/arch/arm32/src/mach/integratorcp/integratorcp.c (modified) (2 diffs)

kernel/arch/arm32/src/mach/integratorcp/integratorcp.c

@@ -65 +65 @@
         icp_output_init,
         icp_input_init,
-        icp_get_irq_count,
-        icp_get_platform_name
+        icp_get_irq_count
 };
 
@@ -343 +342 @@
 }
 
-const char *icp_get_platform_name(void)
-{
-        return "integratorcp";
-}
-
 /** @}
  */