+static inline void wait_for_interrupt(void)
+{
+ 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)));