x86: Fixes cpuid_ecx()
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 23 Mar 2015 16:34:34 +0000 (12:34 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 23 Mar 2015 19:18:55 +0000 (15:18 -0400)
commit4da4e15c4326e2ddd5d3a3a007fd4fbbc100def5
treefac1da9d508d6daa9edaa4351e20a2456b9326ff
parent4de918b92f3e2955e486eeabc123ae13f654ef70
x86: Fixes cpuid_ecx()

Was assuming the op was 1.  Currently it was harmless, since the only
caller was passing 1.  I'd be up for a better runtime way to check
things, since this pops up a lot.
kern/arch/x86/x86.h