include/linux/rtmutex.h
kernel/locking/rtmutex.h