Il 21/02/2014 18:57, Liu, Jinsong ha scritto:> - F(BMI2) | F(ERMS) | f_invpcid | F(RTM) | F(RDSEED) |> + F(BMI2) | F(ERMS) | f_invpcid | F(RTM) | F(MPX) | F(RDSEED) |> F(ADX);MPX also needs to be conditional on mpx_supported here, like it is done with f_rdtscp for example.Paolo