From c6e03d61ee776aacc859fd162e47cb7ba0fb3079 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 14 Aug 2015 16:30:02 +0200
Subject: Added builitin for the icbi instruction.

---
 powerpc/CBuiltins.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index f1f57644..672fb719 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -86,7 +86,10 @@ let builtins = {
     "__builtin_lwsync",
       (TVoid [], [], false);
     "__builtin_trap",
-      (TVoid [], [], false)
+      (TVoid [], [], false);
+    (* Cache isntructions *)
+    "__builtin_icbi",
+      (TVoid [],[TPtr(TVoid [], [])],false)
   ]
 }
 
-- 
cgit