Update kmutex.c