From 6dc4d2664f092094f2ae89a4fc15bf329aa5450c Mon Sep 17 00:00:00 2001
From: Olivier Houchard <cognet@ci0.org>
Date: Thu, 7 May 2015 10:15:06 +0200
Subject: [PATCH] gcc/ck_pr: ck_pr_stall() should act as a compiler barrier
 too.

---
 include/gcc/ck_pr.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/include/gcc/ck_pr.h b/include/gcc/ck_pr.h
index b127392..53e75e1 100644
--- a/include/gcc/ck_pr.h
+++ b/include/gcc/ck_pr.h
@@ -113,7 +113,8 @@ CK_PR_LOAD_S(8,  uint8_t)
 CK_CC_INLINE static void
 ck_pr_stall(void)
 {
-	return;
+
+	ck_pr_barrier();
 }
 
 /*