From: Keith Packard <keithp@keithp.com>
Date: Tue, 11 Sep 2018 07:05:38 +0000 (-0700)
Subject: altos: Delete random 8051 ISR declarations
X-Git-Tag: 1.9~27^2~37
X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=commitdiff_plain;h=b8e607960f2f399fd6ba92a8c97ab72e19812d3f

altos: Delete random 8051 ISR declarations

Signed-off-by: Keith Packard <keithp@keithp.com>
---

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);