mutex_abort
static void mutex_abort(const char *, size_t, volatile const kmutex_t *,
mutex_abort(__func__, __LINE__, mtx, msg)