static void
decode_pt_regs64(struct tcb *const tcp, const kernel_ulong_t addr)
{
	printaddr(addr);
}