diff options
| author | Keith Packard <keithp@keithp.com> | 2018-08-15 17:47:37 -0700 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2018-10-13 08:22:50 -0700 |
| commit | c6e57291d91f1f6c4de5c54a5cfd3eef66d9f830 (patch) | |
| tree | 1fb7753fad10c6897906baec11d2f5756a9bb866 /src/kernel/ao_led.h | |
| parent | 6023ff81f1bbd240169b9548209133d3b02d475f (diff) | |
altos: Remove 8051 address space specifiers
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'src/kernel/ao_led.h')
| -rw-r--r-- | src/kernel/ao_led.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kernel/ao_led.h b/src/kernel/ao_led.h index 7de09237..803f85b3 100644 --- a/src/kernel/ao_led.h +++ b/src/kernel/ao_led.h @@ -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) __reentrant; +ao_led_for(AO_LED_TYPE colors, uint16_t ticks); /* Initialize the LEDs */ void |