K 10 svn:author V 3 avg K 8 svn:date V 27 2012-11-04T13:46:28.007372Z K 7 svn:log V 251 cpuctl_do_cpuid: explicitly use ecx=0 for cpuid call ... instead of whatever random value may happen to be in the register. ecx is important to some cpuid leaves. To do: extend cpuctl interface to provide for ecx value parameter. MFC after: 5 days END