debug_mutex_free_waiter
debug_mutex_free_waiter(&waiter);
extern void debug_mutex_free_waiter(struct mutex_waiter *waiter);