void board_autoled_off(int led) { if (led < LED_NVALUES) { pic32mx_setleds(&g_ledoffvalues[led]); } }
void board_autoled_on(int led) { if ((unsigned)led < LED_NVALUES) { pic32mx_setleds(&g_ledonvalues[led]); } }