void rt_hw_led_off(void) { LED_DATA(1); }
void dsp_led_invert(u4_t loc) { u1_t a = LED_ADDR(loc); dsp_leds_write(a, dsp_leds_read(a) ^ LED_DATA(loc)); }
void rt_hw_led_on(void) { LED_DATA(0); }
void dsp_led_set(u4_t loc) { u4_t a = LED_ADDR(loc); dsp_leds_write(a, dsp_leds_read(a) | LED_DATA(loc)); }