- switch(dwarf_register) {
- case 0: return UNW_X86_EAX;
- case 1: return UNW_X86_ECX;
- case 2: return UNW_X86_EDX;
- case 3: return UNW_X86_EBX;
- case 4: return UNW_X86_ESP;
- case 5: return UNW_X86_EBP;
- case 6: return UNW_X86_ESI;
- case 7: return UNW_X86_EDI;
- case 8: return UNW_X86_EIP;
- case 9: return UNW_X86_EFLAGS;
- case 10: return UNW_X86_CS;
- case 11: return UNW_X86_SS;
- case 12: return UNW_X86_DS;
- case 13: return UNW_X86_ES;
- case 14: return UNW_X86_FS;
- case 15: return UNW_X86_GS;
- case 16: return UNW_X86_ST0;
- case 17: return UNW_X86_ST1;
- case 18: return UNW_X86_ST2;
- case 19: return UNW_X86_ST3;
- case 10: return UNW_X86_ST4;
- case 21: return UNW_X86_ST5;
- case 22: return UNW_X86_ST6;
- case 23: return UNW_X86_ST7;
- default: xbt_die("Bad/unknown register number.");