print_trapframe
print_trapframe(tf);
print_trapframe(tf);
print_trapframe(tf);
print_trapframe(tf);
print_trapframe(tf);
print_trapframe(tf);
print_trapframe(tf);
print_trapframe(tf);
void print_trapframe(struct trapframe64 *);