| XLAT(8*R15), | |
| XLAT(8*R14), | |
| XLAT(8*R13), | |
| XLAT(8*R12), | |
| XLAT(8*RBP), | |
| XLAT(8*RBX), | |
| XLAT(8*R11), | |
| XLAT(8*R10), | |
| XLAT(8*R9), | |
| XLAT(8*R8), | |
| XLAT(8*RAX), | |
| XLAT(8*RCX), | |
| XLAT(8*RDX), | |
| XLAT(8*RSI), | |
| XLAT(8*RDI), | |
| XLAT(8*ORIG_RAX), | |
| XLAT(8*RIP), | |
| XLAT(8*CS), | |
| { 8*EFLAGS, "8*EFL" }, | |
| XLAT(8*RSP), | |
| XLAT(8*SS), | |
| /* Other fields in "struct user" */ | |
| #include "../i386/userent0.h" |