trapframe
report_exc(struct trapframe *tf)
void report_exc(struct trapframe *tf);
struct trapframe *tf = (struct trapframe *)tfp;
tf = (struct trapframe *)(tfp - 1);
struct trapframe;
void dump_trapframe(struct trapframe *tf);