1  static void
       2  decode_pt_regs64(struct tcb *const tcp, const kernel_ulong_t addr)
       3  {
       4  	printaddr(addr);
       5  }