From 477b37b2494f087ae95ff752d4a01ffc2cc237d2 Mon Sep 17 00:00:00 2001
From: Olivier Houchard <cognet@ci0.org>
Date: Thu, 7 May 2015 18:24:42 +0200
Subject: [PATCH] gcc/ck_pr: I made up my mind, ck_pr_stale() has to provide a
 compiler barrier.

---
 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();
 }
 
 /*