print_regs for x86_64.S