[PATCH] reference rt-mutex-design in rtmutex.c