#include <asm/desc.h>
#include <asm/fixmap.h>
#include <asm/page.h>
+#include <asm/processor.h>
#include <asm/msr.h>
#include <asm/cpufeature.h>
#include <public/elfnote.h>
#include <asm/asm_defns.h>
#include <asm/apicdef.h>
#include <asm/page.h>
+#include <asm/processor.h>
#include <asm/desc.h>
#include <public/xen.h>
#include <irq_vectors.h>
#include <asm/asm_defns.h>
#include <asm/apicdef.h>
#include <asm/page.h>
+#include <asm/processor.h>
#include <public/xen.h>
#include <irq_vectors.h>
#include <asm/asm-offsets.h>
#endif
#include <asm/bug.h>
-#include <asm/page.h>
-#include <asm/processor.h>
#include <asm/percpu.h>
+#include <asm/x86-defns.h>
#include <xen/stringify.h>
#include <asm/cpufeature.h>
#include <asm/alternative.h>
/* Clamp the CPUID policy to reality. */
void recalculate_cpuid_policy(struct domain *d);
+struct vcpu;
void guest_cpuid(const struct vcpu *v, uint32_t leaf,
uint32_t subleaf, struct cpuid_leaf *res);
#include <asm/asm_defns.h>
#include <asm/cpufeature.h>
+#include <asm/processor.h>
#define rdmsr(msr,val1,val2) \
__asm__ __volatile__("rdmsr" \