generated/autoconf.h is already included automatically so CONFIG_* defines are
available. However, the companion macros such as IS_ENABLED() are not
included.
Include them uniformly everywhere.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Julien Grall <julien.grall@arm.com>
#include <xen/domain_page.h>
#include <xen/efi.h>
#include <xen/vmap.h>
-#include <xen/kconfig.h>
#define _COMPONENT ACPI_OS_SERVICES
ACPI_MODULE_NAME("osl")
#define __ASM_ALTERNATIVE_H
#include <asm/cpufeature.h>
-#include <xen/kconfig.h>
#ifdef CONFIG_HAS_ALTERNATIVE
#ifndef __XEN_CONFIG_H__
#define __XEN_CONFIG_H__
-#include <generated/autoconf.h>
+#include <xen/kconfig.h>
#ifndef __ASSEMBLY__
#include <xen/compiler.h>