Merge branch 'master' of ssh://git.gag.com/scm/git/fw/altos

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

diff --git a/src/kernel/ao.h b/src/kernel/ao.h
index 9bbd561eedf854467057c30ef32aade8668b9af9..af070cc11c5fdded1ca1a8e5d63b76315a57a933 100644 (file)
--- a/src/kernel/ao.h
+++ b/src/kernel/ao.h
@@ -86,7 +86,7 @@ typedef AO_PORT_TYPE ao_port_t;
 
 /* Stop the operating system, beeping and blinking the reason */
 void
-ao_panic(uint8_t reason);
+ao_panic(uint8_t reason) __attribute__((noreturn));
 
 /*
  * ao_romconfig.c
@@ -126,9 +126,6 @@ ao_time_ns(void);
 void
 ao_delay(AO_TICK_TYPE ticks);
 
-void
-ao_delay_until(AO_TICK_TYPE target);
-
 /* Set the ADC interval */
 void
 ao_timer_set_adc_interval(uint8_t interval);
@@ -392,7 +389,7 @@ ao_spi_slave(void);
 #define AO_GPS_NEW_TRACKING    2
 
 extern uint8_t ao_gps_new;
-extern uint16_t ao_gps_tick;
+extern AO_TICK_TYPE ao_gps_tick;
 extern uint8_t ao_gps_mutex;
 extern struct ao_telemetry_location ao_gps_data;
 extern struct ao_telemetry_satellite ao_gps_tracking_data;