[PATCH] mark mutex_lock*() as might_sleep()