/* * mutex_owner: * * Return the current owner of an adaptive mutex. Used for * priority inheritance. */