From 6fec7b5affd223c18bad78377d7655af958dffc2 Mon Sep 17 00:00:00 2001 From: Keith Packard Date: Mon, 25 Feb 2019 16:40:16 -0700 Subject: altos: Fix several mis-specified time types Make sure AO_TICK_TYPE is used "everywhere", instead of uint16_t or other. Signed-off-by: Keith Packard --- src/kernel/ao_led.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/kernel') 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 -- cgit v1.2.3