Index of /src/xed-sys2-0.1.1/xed/datafiles/hswbmi/

../
cpuid.xed.txt                                      24-Jul-2006 01:21                 724
files.cfg                                          24-Jul-2006 01:21                 871
hsw-bmi-vex-isa.xed.txt                            24-Jul-2006 01:21               13701
hsw-reg-table.txt                                  24-Jul-2006 01:21                6353
tzcnt-isa.xed.txt                                  24-Jul-2006 01:21                1769