X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=src%2Fkernel%2Fao_led.h;fp=src%2Fkernel%2Fao_led.h;h=803f85b3d9b652ab5a88f4b3cf298990b7fe5ee6;hp=7de092373e9e943fda8a5ed9805bd71ae65743a0;hb=ce3d531e0e1ceab03a25c8a5e4a2b4ce6b11a2cf;hpb=e91409e8076769b184bbfad35829c1e9f1015bad

diff --git a/src/kernel/ao_led.h b/src/kernel/ao_led.h
index 7de09237..803f85b3 100644
--- a/src/kernel/ao_led.h
+++ b/src/kernel/ao_led.h
@@ -51,7 +51,7 @@ ao_led_toggle(AO_LED_TYPE colors);
 
 /* Turn on the specified LEDs for the indicated interval */
 void
-ao_led_for(AO_LED_TYPE colors, uint16_t ticks) __reentrant;
+ao_led_for(AO_LED_TYPE colors, uint16_t ticks);
 
 /* Initialize the LEDs */
 void