On 02/20/2014 11:50 AM, Peter Maydell wrote:
> + unsigned a, b, c, d;
> + int max = __get_cpuid_max(0, 0);
> +
> + if (max >= 1) {
> + __cpuid(1, a, b, c, d);
> + }
> + return 0;
> }
You might as well check for __cpuid_count too while you're at it:
if (max >= 7)
__cpuid_count(7, 0, a, b, c, d);
Otherwise it looks good to me.
r~
