../ avx-fma-isa.xed.txt 24-Jul-2006 01:21 39700 cpuid.xed.txt 24-Jul-2006 01:21 788 files.cfg 24-Jul-2006 01:21 1102 gather-isa.txt 24-Jul-2006 01:21 7720 hsw-int256-isa.txt 24-Jul-2006 01:21 54697 hsw-state-bits.txt 24-Jul-2006 01:21 859 hsw-vshift-isa.txt 24-Jul-2006 01:21 3905 movnt-load-isa.txt 24-Jul-2006 01:21 925 vsib-addressing-dec.txt 24-Jul-2006 01:21 4149 vsib-addressing-enc.txt 24-Jul-2006 01:21 7155