X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;ds=inline;f=lib%2Futil.h;h=18e36524b422304b6ec1b0aa98e5bd0e8486dcc9;hb=553dc382661879e33c4970b4fb5babfc630432c9;hp=b37c527f603f9003373c97bd4f85d0f753f4ac70;hpb=d3cc4a1e9b31eb56012549d934df327903e1d0d5;p=home-hw.git

diff --git a/lib/util.h b/lib/util.h
index b37c527..18e3652 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -24,6 +24,7 @@ typedef int32_t s32;
 #define MIN(x,y) ((x) < (y) ? (x) : (y))
 #define MAX(x,y) ((x) > (y) ? (x) : (y))
 #define CLAMP(x,min,max) ({ typeof(x) _t=x; (_t < min) ? min : (_t > max) ? max : _t; })
+#define ARRAY_SIZE(ary) (sizeof(ary)/sizeof((ary)[0]))
 
 #define UNUSED __attribute__((unused))
 
@@ -77,11 +78,26 @@ static inline void put_u32_le(byte *p, u32 x)
 	p[0] = x & 0xff;
 }
 
+// CPU instructions not covered by libopencm3
+
+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, ...);
+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);