X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fkernel%2Fao.h;h=5df4903cdd0084c7a977ccb19c2ebb76d2587c01;hb=6550585af6d80306d037661be66004ccf8d09013;hp=fb7af24dac350c717c8620e425ce81bd1a6644f8;hpb=a87698663f8a5ced468755068a0468755d8f2746;p=fw%2Faltos

diff --git a/src/kernel/ao.h b/src/kernel/ao.h
index fb7af24d..5df4903c 100644
--- a/src/kernel/ao.h
+++ b/src/kernel/ao.h
@@ -42,6 +42,11 @@ extern char ao_getchar(void);
 
 typedef AO_PORT_TYPE ao_port_t;
 
+#ifndef AO_TICK_TYPE
+#define AO_TICK_TYPE uint32_t
+#define AO_TICK_SIGNED int32_t
+#endif
+
 #if HAS_TASK
 #include <ao_task.h>
 #else
@@ -81,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
@@ -100,11 +105,6 @@ extern AO_ROMCONFIG_SYMBOL uint32_t ao_radio_cal;
  * ao_timer.c
  */
 
-#ifndef AO_TICK_TYPE
-#define AO_TICK_TYPE	uint32_t
-#define AO_TICK_SIGNED	int32_t
-#endif
-
 extern volatile AO_TICK_TYPE ao_tick_count;
 
 /* Our timer runs at 100Hz */
@@ -124,7 +124,7 @@ ao_time_ns(void);
 
 /* Suspend the current task until ticks time has passed */
 void
-ao_delay(uint16_t ticks);
+ao_delay(AO_TICK_TYPE ticks);
 
 /* Set the ADC interval */
 void
@@ -749,9 +749,6 @@ enum ao_igniter {
 	ao_igniter_main = 1
 };
 
-void
-ao_ignite(enum ao_igniter igniter);
-
 enum ao_igniter_status {
 	ao_igniter_unknown,	/* unknown status (ambiguous voltage) */
 	ao_igniter_ready,	/* continuity detected */