- DEBUG("^^^^^ --- %s", to_usr ? "user" : "kernel");
- DEBUG(" interrupted on #%d, ecode=%p",
- p->execp->vector,
- p->execp->err_code);
- DEBUG("vvvvv --- %s", from_usr ? "user" : "kernel");
+ trace_log("^^^^^ --- %s", to_usr ? "user" : "kernel");
+ trace_print_transistion_short(hstate);
+ trace_log("vvvvv --- %s", from_usr ? "user" : "kernel");