summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorKeith Packard <keithp@keithp.com>2018-09-11 00:05:38 -0700
committerKeith Packard <keithp@keithp.com>2018-10-13 08:22:50 -0700
commitb8e607960f2f399fd6ba92a8c97ab72e19812d3f (patch)
treede6439267e8aba7c4dcce41f76a7c61218818226 /src
parenta76829a4a840261e33869c40b3366fff3b691069 (diff)
altos: Delete random 8051 ISR declarations
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'src')
-rw-r--r--src/kernel/ao.h10
1 files changed, 0 insertions, 10 deletions
diff --git a/src/kernel/ao.h b/src/kernel/ao.h
index 08e90839..9c0c8604 100644
--- a/src/kernel/ao.h
+++ b/src/kernel/ao.h
@@ -111,10 +111,6 @@ ao_delay(uint16_t ticks);
void
ao_timer_set_adc_interval(uint8_t interval);
-/* Timer interrupt */
-void
-ao_timer_isr(void) ao_arch_interrupt(9);
-
/* Initialize the timer */
void
ao_timer_init(void);
@@ -581,9 +577,6 @@ extern int8_t ao_radio_rssi;
#define HAS_RADIO_RATE HAS_RADIO
#endif
-void
-ao_radio_general_isr(void) ao_arch_interrupt(16);
-
#if HAS_RADIO_XMIT
void
ao_radio_send(const void *d, uint8_t size);
@@ -944,9 +937,6 @@ ao_terraui_init(void);
*/
#ifdef BATTERY_PIN
-void
-ao_battery_isr(void) ao_arch_interrupt(1);
-
uint16_t
ao_battery_get(void);