sys/dev/ntsync/ntsync.c

1022

if (obj->type != NTSYNC_OBJ_EVENT)

sys/dev/ntsync/ntsync.c

1068

MPASS(obj->type == NTSYNC_OBJ_EVENT);

sys/dev/ntsync/ntsync.c

1089

MPASS(obj->type == NTSYNC_OBJ_EVENT);

sys/dev/ntsync/ntsync.c

1126

event->obj.type = NTSYNC_OBJ_EVENT;

sys/dev/ntsync/ntsync.c

1229

if (obj->type != NTSYNC_OBJ_EVENT || obj->owner != owner) {

sys/dev/ntsync/ntsync.c

863

MPASS(obj->type == NTSYNC_OBJ_EVENT);

sys/dev/ntsync/ntsync.c

875

MPASS(obj->type == NTSYNC_OBJ_EVENT);

sys/dev/ntsync/ntsync.c

890

MPASS(obj->type == NTSYNC_OBJ_EVENT);

sys/dev/ntsync/ntsync.c

905

MPASS(obj->type == NTSYNC_OBJ_EVENT);

sys/dev/ntsync/ntsync.c

921

MPASS(obj->type == NTSYNC_OBJ_EVENT);

sys/dev/ntsync/ntsync.c

948

if (obj->type != NTSYNC_OBJ_EVENT)

sys/dev/ntsync/ntsync.c

972

if (obj->type != NTSYNC_OBJ_EVENT)

sys/dev/ntsync/ntsync.c

995

if (obj->type != NTSYNC_OBJ_EVENT)