sys/dev/ntsync/ntsync.c

561

MPASS(obj->type == NTSYNC_OBJ_MUTEX);

sys/dev/ntsync/ntsync.c

573

MPASS(obj->type == NTSYNC_OBJ_MUTEX);

sys/dev/ntsync/ntsync.c

597

MPASS(obj->type == NTSYNC_OBJ_MUTEX);

sys/dev/ntsync/ntsync.c

622

MPASS(obj->type == NTSYNC_OBJ_MUTEX);

sys/dev/ntsync/ntsync.c

659

if (obj->type != NTSYNC_OBJ_MUTEX)

sys/dev/ntsync/ntsync.c

693

if (obj->type != NTSYNC_OBJ_MUTEX)

sys/dev/ntsync/ntsync.c

725

if (obj->type != NTSYNC_OBJ_MUTEX)

sys/dev/ntsync/ntsync.c

779

MPASS(obj->type == NTSYNC_OBJ_MUTEX);

sys/dev/ntsync/ntsync.c

800

MPASS(obj->type == NTSYNC_OBJ_MUTEX);

sys/dev/ntsync/ntsync.c

841

mutex->obj.type = NTSYNC_OBJ_MUTEX;