KMT_TRAP_NOTENUM
else if (trapnum == KMT_TRAP_NOTENUM)
case KMT_TRAP_NOTENUM:
if (trapnum != KMT_TRAP_ALL && trapnum != KMT_TRAP_NOTENUM) {
(void) mdb_tgt_add_fault(t, KMT_TRAP_NOTENUM, MDB_TGT_SPEC_INTERNAL,