X-Git-Url: https://git.gag.com/?a=blobdiff_plain;ds=inline;f=src%2Fkernel%2Fao_led.h;h=b770381f7efb8aea3dcb379a5cb0981800788328;hb=6fec7b5affd223c18bad78377d7655af958dffc2;hp=5d982ca6d1f0e7101467d072ce215678e8ae8793;hpb=14fe18559d2eb7e568f07fcbaec89b6ef55fae24;p=fw%2Faltos

diff --git a/src/kernel/ao_led.h b/src/kernel/ao_led.h
index 5d982ca6..b770381f 100644
--- a/src/kernel/ao_led.h
+++ b/src/kernel/ao_led.h
@@ -43,7 +43,7 @@ ao_led_set(AO_LED_TYPE colors);
 
 /* Set all LEDs in 'mask' to the specified state */
 void
-ao_led_set_mask(uint8_t colors, uint8_t mask);
+ao_led_set_mask(AO_LED_TYPE colors, AO_LED_TYPE mask);
 
 /* Toggle the specified LEDs */
 void
@@ -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);
+ao_led_for(AO_LED_TYPE colors, AO_TICK_TYPE ticks);
 
 /* Initialize the LEDs */
 void