/* Add a task to the run queue */
void
-ao_add_task(__xdata struct ao_task * task, void (*start)(void), __code char *name);
+ao_add_task(__xdata struct ao_task * task, void (*start)(void), __code char *name) __reentrant;
/* Dump task info to console */
void
/* Turn on the beeper for the specified time */
void
-ao_beep_for(uint8_t beep, uint16_t ticks);
+ao_beep_for(uint8_t beep, uint16_t ticks) __reentrant;
/* Initialize the beeper */
void
void
ao_led_set(uint8_t colors);
+/* Toggle the specified LEDs */
+void
+ao_led_toggle(uint8_t colors);
+
/* Turn on the specified LEDs for the indicated interval */
void
-ao_led_for(uint8_t colors, uint16_t ticks);
+ao_led_for(uint8_t colors, uint16_t ticks) __reentrant;
/* Initialize the LEDs */
void
-ao_led_init(void);
+ao_led_init(uint8_t enable);
/*
* ao_usb.c
void
ao_usb_isr(void) interrupt 6;
+/* Enable the USB controller */
+void
+ao_usb_enable(void);
+
+/* Disable the USB controller */
+void
+ao_usb_disable(void);
+
/* Initialize the USB system */
void
ao_usb_init(void);
ao_monitor(void);
void
-ao_monitor_init(void);
+ao_monitor_init(uint8_t led);
/*
* ao_stdio.c