int ifconfig(int argc, char **argv) { (void)argc; (void)argv; for (int i = 0; i < ATA8510_NUM; i++) { ifconfig_list(i); } return 0; }
int ifconfig(int argc, char **argv) { (void)argc; (void)argv; for (unsigned int i = 0; i < AT86RF2XX_NUM; i++) { ifconfig_list(i); } return 0; }