#include <sys/mutex.h>void
mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl);
void
mutex_destroy(kmutex_t *mtx);
void
mutex_enter(kmutex_t *mtx);
void
mutex_exit(kmutex_t *mtx);
int
mutex_owned(kmutex_t *mtx);
void
mutex_spin_enter(kmutex_t *mtx);
void
mutex_spin_exit(kmutex_t *mtx);
int
mutex_tryenter(kmutex_t *mtx);
options DIAGNOSTIC
options LOCKDEBUG