|
@@ -32,6 +32,7 @@
|
|
|
#include <linux/gfp.h>
|
|
#include <linux/gfp.h>
|
|
|
#include <linux/memblock.h>
|
|
#include <linux/memblock.h>
|
|
|
#include <linux/edd.h>
|
|
#include <linux/edd.h>
|
|
|
|
|
+#include <linux/frame.h>
|
|
|
|
|
|
|
|
#ifdef CONFIG_KEXEC_CORE
|
|
#ifdef CONFIG_KEXEC_CORE
|
|
|
#include <linux/kexec.h>
|
|
#include <linux/kexec.h>
|
|
@@ -351,8 +352,8 @@ static void xen_cpuid(unsigned int *ax, unsigned int *bx,
|
|
|
*cx &= maskecx;
|
|
*cx &= maskecx;
|
|
|
*cx |= setecx;
|
|
*cx |= setecx;
|
|
|
*dx &= maskedx;
|
|
*dx &= maskedx;
|
|
|
-
|
|
|
|
|
}
|
|
}
|
|
|
|
|
+STACK_FRAME_NON_STANDARD(xen_cpuid); /* XEN_EMULATE_PREFIX */
|
|
|
|
|
|
|
|
static bool __init xen_check_mwait(void)
|
|
static bool __init xen_check_mwait(void)
|
|
|
{
|
|
{
|