} CPUIDSummary;
-/*
- *----------------------------------------------------------------------
- *
- * CPUIDSummary_RegsFromCpuid0 --
- *
- * Fills in the given CPUIDRegs struct with the values from the CPUID0 struct.
- *
- * Results:
- * Returns the CPUIDRegs pointer passed in.
- *
- * Side effects:
- * None.
- *
- *----------------------------------------------------------------------
- */
-static INLINE CPUIDRegs*
-CPUIDSummary_RegsFromCpuid0(CPUID0* id0In,
- CPUIDRegs* id0Out)
-{
- id0Out->eax = id0In->numEntries;
- id0Out->ebx = *(uint32 *) (id0In->name + 0);
- id0Out->edx = *(uint32 *) (id0In->name + 4);
- id0Out->ecx = *(uint32 *) (id0In->name + 8);
- return id0Out;
-}
-
-
#if defined __cplusplus
} // extern "C"
#endif