X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;ds=inline;f=lib%2Futil.h;h=18e36524b422304b6ec1b0aa98e5bd0e8486dcc9;hb=3038b627489dae62ce54d415a4bcfc4cfd28f084;hp=6b9f4ba488dd94a54daab69a866ba7ce10253d2c;hpb=38f51167915998a4c795bb385b8f3505a15c42e8;p=home-hw.git

diff --git a/lib/util.h b/lib/util.h
index 6b9f4ba..18e3652 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -85,11 +85,19 @@ 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)));
 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);