trap_kdebug
(void) trap_kdebug(T_IBREAK, 0, tf);
if (trap_kdebug(type, va, frame))
void trap_kdebug(int, struct trapframe *);
trap_kdebug(-1, &tf);