altos: Add bit-bang i2c driver

[fw/altos] / src / kernel / ao_led.h

diff --git a/src/kernel/ao_led.h b/src/kernel/ao_led.h
index 5d982ca6d1f0e7101467d072ce215678e8ae8793..60c2d41fd10e05dbce1a7f405c020b79c76a1d91 100644 (file)
--- a/src/kernel/ao_led.h
+++ b/src/kernel/ao_led.h
@@ -43,15 +43,11 @@ 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);
-
-/* Toggle the specified LEDs */
-void
-ao_led_toggle(AO_LED_TYPE colors);
+ao_led_set_mask(AO_LED_TYPE colors, AO_LED_TYPE mask);
 
 /* 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