82c82,83
< doCpuid(ThreadContext * tc, uint32_t function, CpuidResult &result)
---
> doCpuid(ThreadContext * tc, uint32_t function,
> uint32_t index, CpuidResult &result)