x86_cpuid interface.
This is a preliminary interface. Based on feedback, this interface can and will be changed without regard for the usual ABI compatibility rules.
SIM_INTERFACE(x86_cpuid_query) {
cpuid_value_t (*cpuid_query)(conf_object_t *obj, uint32 leaf,
uint32 subleaf);
};
#define X86_CPUID_QUERY_INTERFACE "x86_cpuid_query"