# THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi :set ro: # Generated from: i386/x32-avx-linux.xml name:x32_avx_linux xmltarget:x32-avx-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:ymm0h 128:ymm1h 128:ymm2h 128:ymm3h 128:ymm4h 128:ymm5h 128:ymm6h 128:ymm7h 128:ymm8h 128:ymm9h 128:ymm10h 128:ymm11h 128:ymm12h 128:ymm13h 128:ymm14h 128:ymm15h