update documentation for rwfutex.c