| # THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi :set ro: |
| # Generated from: i386/amd64-mpx-linux.xml |
| name:amd64_mpx_linux |
| xmltarget:amd64-mpx-linux.xml |
| expedite:rbp,rsp,rip |
| 64:rax |
| 64:rbx |
| 64:rcx |
| 64:rdx |
| 64:rsi |
| 64:rdi |
| 64:rbp |
| 64:rsp |
| 64:r8 |
| 64:r9 |
| 64:r10 |
| 64:r11 |
| 64:r12 |
| 64:r13 |
| 64:r14 |
| 64:r15 |
| 64:rip |
| 32:eflags |
| 32:cs |
| 32:ss |
| 32:ds |
| 32:es |
| 32:fs |
| 32:gs |
| 80:st0 |
| 80:st1 |
| 80:st2 |
| 80:st3 |
| 80:st4 |
| 80:st5 |
| 80:st6 |
| 80:st7 |
| 32:fctrl |
| 32:fstat |
| 32:ftag |
| 32:fiseg |
| 32:fioff |
| 32:foseg |
| 32:fooff |
| 32:fop |
| 128:xmm0 |
| 128:xmm1 |
| 128:xmm2 |
| 128:xmm3 |
| 128:xmm4 |
| 128:xmm5 |
| 128:xmm6 |
| 128:xmm7 |
| 128:xmm8 |
| 128:xmm9 |
| 128:xmm10 |
| 128:xmm11 |
| 128:xmm12 |
| 128:xmm13 |
| 128:xmm14 |
| 128:xmm15 |
| 32:mxcsr |
| 64:orig_rax |
| 128:bnd0raw |
| 128:bnd1raw |
| 128:bnd2raw |
| 128:bnd3raw |
| 64:bndcfgu |
| 64:bndstatus |