asm volatile ("wfi");
}
+// A compiler memory barrier
+
+static inline void barrier(void)
+{
+ asm volatile ("" : : : "memory");
+}
+
// util-debug.c
void debug_printf(const char *fmt, ...) __attribute__((format(printf,1,2)));
void debug_puts(const char *s);
void debug_putc(int c);
+void debug_flush(void);
void debug_led(bool light);
void debug_led_toggle(void);