diff --git a/cgen/__init__.py b/cgen/__init__.py
index 0fa65ccabaf3a6911b7c489fed6eb66004cecf71..3e9ae705f4e4d0e1b155db3a6bb4d600f35cb80d 100644
--- a/cgen/__init__.py
+++ b/cgen/__init__.py
@@ -303,7 +303,7 @@ class Pointer(NestedDeclarator):
 class RestrictPointer(Pointer):
     def get_decl_pair(self):
         sub_tp, sub_decl = self.subdecl.get_decl_pair()
-        return sub_tp, ("*restrict %s" % sub_decl)
+        return sub_tp, ("*__restrict__ %s" % sub_decl)
 
     mapper_method = "map_restrict_pointer"