mutex_panic
extern void mutex_panic(mutex_t *, const char *) __NORETURN;
mutex_panic(mp, "mutex_enter: bad mutex type");
mutex_panic(mp, "recursive mutex_enter");
mutex_panic(mp, "excessive recursive mutex_enter");
mutex_panic(mp, "unknown mutex_enter failure");
mutex_panic(mp, "mutex_exit: bad mutex type");
mutex_panic(mp, "mutex_exit: not owner");
mutex_panic(mp, "unknown mutex_exit failure");
mutex_panic("mutex_enter: bad mutex", lp);
mutex_panic("mutex_enter: adaptive at high PIL", lp);
mutex_panic("recursive mutex_enter", lp);
mutex_panic("mutex_tryenter: bad mutex", lp);
mutex_panic("mutex_exit: not owner", lp);
mutex_panic("mutex_destroy: not owner", lp);
mutex_panic("mutex_destroy: has waiters", lp);
mutex_panic("mutex_destroy: bad mutex", lp);