frame_dump
static inline void frame_dump(struct trapframe *_tf, struct proc *_p,
frame_dump(frame, p, "SEGV", 0);