debug_rt_mutex_reset_waiter 26 kernel/rtmutex-debug.h # define debug_rt_mutex_reset_waiter(w) \ debug_rt_mutex_reset_waiter 26 kernel/rtmutex.h #define debug_rt_mutex_reset_waiter(w) do { } while (0)