debug_trap
static inline void debug_trap(struct trapframe *_frame, struct proc *_p,
debug_trap(frame, curproc, type);
debug_trap(frame, p, type);