# THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi :set ro: # Generated from: i386/amd64-avx-mpx-avx512-pku-linux.xml name:amd64_avx_mpx_avx512_pku_linux xmltarget:amd64-avx-mpx-avx512-pku-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 64:fs_base 64:gs_base 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 128:bnd0raw 128:bnd1raw 128:bnd2raw 128:bnd3raw 64:bndcfgu 64:bndstatus 128:xmm16 128:xmm17 128:xmm18 128:xmm19 128:xmm20 128:xmm21 128:xmm22 128:xmm23 128:xmm24 128:xmm25 128:xmm26 128:xmm27 128:xmm28 128:xmm29 128:xmm30 128:xmm31 128:ymm16h 128:ymm17h 128:ymm18h 128:ymm19h 128:ymm20h 128:ymm21h 128:ymm22h 128:ymm23h 128:ymm24h 128:ymm25h 128:ymm26h 128:ymm27h 128:ymm28h 128:ymm29h 128:ymm30h 128:ymm31h 64:k0 64:k1 64:k2 64:k3 64:k4 64:k5 64:k6 64:k7 256:zmm0h 256:zmm1h 256:zmm2h 256:zmm3h 256:zmm4h 256:zmm5h 256:zmm6h 256:zmm7h 256:zmm8h 256:zmm9h 256:zmm10h 256:zmm11h 256:zmm12h 256:zmm13h 256:zmm14h 256:zmm15h 256:zmm16h 256:zmm17h 256:zmm18h 256:zmm19h 256:zmm20h 256:zmm21h 256:zmm22h 256:zmm23h 256:zmm24h 256:zmm25h 256:zmm26h 256:zmm27h 256:zmm28h 256:zmm29h 256:zmm30h 256:zmm31h