diff --git a/linux/toku_pthread.h b/linux/toku_pthread.h
index 076afbb9859d23344d614bd744397fb840c20399..2fc56de8fdbde0c2735ce40b98dffbda67e7a45c 100644
--- a/linux/toku_pthread.h
+++ b/linux/toku_pthread.h
@@ -20,7 +20,7 @@ typedef pthread_rwlock_t toku_pthread_rwlock_t;
 typedef pthread_rwlockattr_t  toku_pthread_rwlockattr_t;
 
 static inline int
-toku_pthread_rwlock_init(toku_pthread_rwlock_t *restrict rwlock, const toku_pthread_rwlockattr_t *restrict attr) {
+toku_pthread_rwlock_init(toku_pthread_rwlock_t *__restrict rwlock, const toku_pthread_rwlockattr_t *__restrict attr) {
     return pthread_rwlock_init(rwlock, attr);
 }