770c770,771
< success = doCpuid(xc->tcBase(), bits(Rax, 31, 0), result);
---
> success = doCpuid(xc->tcBase(), bits(Rax, 31, 0),
> bits(Rcx, 31, 0), result);