diff options
| author | Keith Packard <keithp@keithp.com> | 2019-02-25 16:40:16 -0700 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2019-02-25 16:40:16 -0700 |
| commit | 6fec7b5affd223c18bad78377d7655af958dffc2 (patch) | |
| tree | 75c79676b7764f7593d6dd9a5caccc2736ef0f71 /src/kernel | |
| parent | 14fe18559d2eb7e568f07fcbaec89b6ef55fae24 (diff) | |
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 <keithp@keithp.com>
Diffstat (limited to 'src/kernel')
| -rw-r--r-- | src/kernel/ao_led.h | 4 |
1 files changed, 2 insertions, 2 deletions
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 |