debug_mutex_wake_waiter
debug_mutex_wake_waiter(lock, waiter);
extern void debug_mutex_wake_waiter(struct mutex *lock,