On Thu, Jun 04, K. Y. Srinivasan wrote:> +++ b/arch/x86/kernel/cpu/mshyperv.c> @@ -18,6 +18,9 @@> #include <linux/efi.h>> #include <linux/interrupt.h>> #include <linux/irq.h>> +#ifdef CONFIG_KEXEC> +#include <linux/kexec.h>> +#endifIs this #ifdef required?Olaf