58c58,59
< bool doCpuid(ThreadContext * tc, uint32_t function, CpuidResult &result);
---
> bool doCpuid(ThreadContext * tc, uint32_t function,
> uint32_t index, CpuidResult &result);