mutex_vector_exit
__strong_alias(mutex_exit,mutex_vector_exit);
__strong_alias(mutex_spin_exit,mutex_vector_exit);
void mutex_vector_exit(kmutex_t *);