sys/kern/kern_osd.c

154

KASSERT(type >= OSD_FIRST && type <= OSD_LAST, ("Invalid type."));

sys/kern/kern_osd.c

207

KASSERT(type >= OSD_FIRST && type <= OSD_LAST, ("Invalid type."));

sys/kern/kern_osd.c

304

KASSERT(type >= OSD_FIRST && type <= OSD_LAST, ("Invalid type."));

sys/kern/kern_osd.c

328

KASSERT(type >= OSD_FIRST && type <= OSD_LAST, ("Invalid type."));

sys/kern/kern_osd.c

381

KASSERT(type >= OSD_FIRST && type <= OSD_LAST, ("Invalid type."));

sys/kern/kern_osd.c

409

KASSERT(type >= OSD_FIRST && type <= OSD_LAST, ("Invalid type."));

sys/kern/kern_osd.c

433

for (i = OSD_FIRST; i <= OSD_LAST; i++) {

sys/kern/kern_osd.c

98

KASSERT(type >= OSD_FIRST && type <= OSD_LAST, ("Invalid type."));