diff -r fcfe8c5e9fe1 -r 27e67e725d35 ucx/buffer.h
--- a/ucx/buffer.h	Thu Oct 11 08:42:56 2012 +0200
+++ b/ucx/buffer.h	Thu Oct 11 11:42:31 2012 +0200
@@ -30,7 +30,7 @@
  * if length is zero, the whole remaining buffer shall be extracted
  * the position of the new buffer is set to zero
  */
-UcxBuffer *ucx_buffer_extract(UcxBuffer *src,
+UcxBuffer *restrict ucx_buffer_extract(UcxBuffer *restrict src,
         size_t start, size_t length, int flags);
 #define ucx_buffer_clone(src,flags) \
     ucx_buffer_extract(src, 0, 0, flags)