print_registers
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
print_registers(frame);
static void print_registers(struct trapframe *frame);
print_registers(frame);
print_registers(frame);