Changeset 10696


Ignore:
Timestamp:
Sep 10, 2008, 6:57:17 AM (11 years ago)
Author:
gb
Message:

Use %llx when printing x8664 registers.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/source/lisp-kernel/lisp-debug.c

    r10673 r10696  
    675675
    676676#ifdef X8664
    677   fprintf(stderr,"%%rax = 0x%016lX      %%r8  = 0x%016lX\n", xpGPR(xp,REG_RAX),xpGPR(xp,REG_R8));
    678   fprintf(stderr,"%%rcx = 0x%016lX      %%r9  = 0x%016lX\n", xpGPR(xp,REG_RCX),xpGPR(xp,REG_R9));
    679   fprintf(stderr,"%%rdx = 0x%016lX      %%r10 = 0x%016lX\n", xpGPR(xp,REG_RDX),xpGPR(xp,REG_R10));
    680   fprintf(stderr,"%%rbx = 0x%016lX      %%r11 = 0x%016lX\n", xpGPR(xp,REG_RBX),xpGPR(xp,REG_R11));
    681   fprintf(stderr,"%%rsp = 0x%016lX      %%r12 = 0x%016lX\n", xpGPR(xp,REG_RSP),xpGPR(xp,REG_R12));
    682   fprintf(stderr,"%%rbp = 0x%016lX      %%r13 = 0x%016lX\n", xpGPR(xp,REG_RBP),xpGPR(xp,REG_R13));
    683   fprintf(stderr,"%%rsi = 0x%016lX      %%r14 = 0x%016lX\n", xpGPR(xp,REG_RSI),xpGPR(xp,REG_R14));
    684   fprintf(stderr,"%%rdi = 0x%016lX      %%r15 = 0x%016lX\n", xpGPR(xp,REG_RDI),xpGPR(xp,REG_R15));
    685   fprintf(stderr,"%%rip = 0x%016lX   %%rflags = 0x%016lX\n",
     677  fprintf(stderr,"%%rax = 0x%016llx      %%r8  = 0x%016llx\n", xpGPR(xp,REG_RAX),xpGPR(xp,REG_R8));
     678  fprintf(stderr,"%%rcx = 0x%016llx      %%r9  = 0x%016llx\n", xpGPR(xp,REG_RCX),xpGPR(xp,REG_R9));
     679  fprintf(stderr,"%%rdx = 0x%016llx      %%r10 = 0x%016llx\n", xpGPR(xp,REG_RDX),xpGPR(xp,REG_R10));
     680  fprintf(stderr,"%%rbx = 0x%016llx      %%r11 = 0x%016llx\n", xpGPR(xp,REG_RBX),xpGPR(xp,REG_R11));
     681  fprintf(stderr,"%%rsp = 0x%016llx      %%r12 = 0x%016llx\n", xpGPR(xp,REG_RSP),xpGPR(xp,REG_R12));
     682  fprintf(stderr,"%%rbp = 0x%016llx      %%r13 = 0x%016llx\n", xpGPR(xp,REG_RBP),xpGPR(xp,REG_R13));
     683  fprintf(stderr,"%%rsi = 0x%016llx      %%r14 = 0x%016llx\n", xpGPR(xp,REG_RSI),xpGPR(xp,REG_R14));
     684  fprintf(stderr,"%%rdi = 0x%016llx      %%r15 = 0x%016llx\n", xpGPR(xp,REG_RDI),xpGPR(xp,REG_R15));
     685  fprintf(stderr,"%%rip = 0x%016llx   %%rflags = 0x%016llx\n",
    686686          xpGPR(xp, Iip), eflags_register(xp));
    687687#endif
Note: See TracChangeset for help on using the changeset viewer.