static void print_num(const char *, ulong);
 
+#if !defined(CONFIG_ARM) || defined(CONFIG_CMD_NET)
 static void print_eth(int idx);
+#endif
 
 #ifndef CONFIG_ARM     /* PowerPC and other */
 static void print_lnum(const char *, u64);
        printf ("%-12s= 0x%08lX\n", name, value);
 }
 
+#if !defined(CONFIG_ARM) || defined(CONFIG_CMD_NET)
 static void print_eth(int idx)
 {
        char name[10], *val;
                val = "(not set)";
        printf("%-12s= %s\n", name, val);
 }
+#endif
 
 #ifndef CONFIG_ARM
 static void print_lnum(const char *name, u64 value)