+
+static void reg_dump(FILE *fp,sigregs_t *rp)
+{
+ fprintf(fp,"REGS:\n");
+ fprintf(fp," r8: %20p %jd\n", (void*)rp->r8,rp->r8);
+ fprintf(fp," r9: %20p %jd\n", (void*)rp->r9,rp->r9);
+ fprintf(fp," r10: %20p %jd\n", (void*)rp->r10,rp->r10);
+ fprintf(fp," r11: %20p %jd\n", (void*)rp->r11,rp->r11);
+ fprintf(fp," r12: %20p %jd\n", (void*)rp->r12,rp->r12);
+ fprintf(fp," r13: %20p %jd\n", (void*)rp->r13,rp->r13);
+ fprintf(fp," r14: %20p %jd\n", (void*)rp->r14,rp->r14);
+ fprintf(fp," r15: %20p %jd\n", (void*)rp->r15,rp->r15);
+ fprintf(fp," rdi: %20p %jd\n", (void*)rp->rdi,rp->rdi);
+ fprintf(fp," rsi: %20p %jd\n", (void*)rp->rsi,rp->rsi);
+ fprintf(fp," rbp: %20p %jd\n", (void*)rp->rbp,rp->rbp);
+ fprintf(fp," rbx: %20p %jd\n", (void*)rp->rbx,rp->rbx);
+ fprintf(fp," rdx: %20p %jd\n", (void*)rp->rdx,rp->rdx);
+ fprintf(fp," rax: %20p %jd\n", (void*)rp->rax,rp->rax);
+ fprintf(fp," rcx: %20p %jd\n", (void*)rp->rcx,rp->rcx);
+ fprintf(fp," rsp: %20p %jd\n", (void*)rp->rsp,rp->rsp);
+ fprintf(fp," rip: %20p %jd\n", (void*)rp->rip,rp->rip);
+ fprintf(fp," eflags: %14p %jd\n", (void*)rp->eflags,rp->eflags);
+ fprintf(fp," cs: %04x\n", rp->cs);
+ fprintf(fp," gs: %04x\n", rp->gs);
+ fprintf(fp," fs: %04x\n", rp->fs);
+ fprintf(fp," err: %20p %jd\n", (void*)rp->err,rp->err);
+ fprintf(fp," trapno: %20p %jd\n", (void*)rp->trapno,rp->trapno);
+ fprintf(fp," oldmask: %20p %jd\n", (void*)rp->oldmask,rp->oldmask);
+ fprintf(fp," cr2: %20p %jd\n", (void*)rp->cr2,rp->cr2);
+ fprintf(fp,"\n");
+}
+