kmt_trapname
name = kmt_trapname(trapnum);
mdb_printf("stopped on: %s\n", kmt_trapname(tt));
extern const char *kmt_trapname(int);