1# Hack: we need to use the config which was used to build the kernel,
2# except that that won't have the right headers etc., so duplicate
3# some of the mach-xen infrastructure in here.
4#
5# (i.e. we need the native config for things like -mregparm, but
6# a Xen kernel to find the right headers)
7_XEN_CPPFLAGS += -D__XEN_INTERFACE_VERSION__=0x00030205
8_XEN_CPPFLAGS += -DCONFIG_XEN_COMPAT=0xffffff
9_XEN_CPPFLAGS += -I$(M)/include -I$(M)/compat-include -DHAVE_XEN_PLATFORM_COMPAT_H
10ifeq ($(ARCH),ia64)
11  _XEN_CPPFLAGS += -DCONFIG_VMX_GUEST
12endif
13
14_XEN_CPPFLAGS += -include $(wildcard $(objtree)/include/*/autoconf.h)
15
16EXTRA_CFLAGS += $(_XEN_CPPFLAGS)
17EXTRA_AFLAGS += $(_XEN_CPPFLAGS)
18CPPFLAGS := -I$(M)/include $(CPPFLAGS)
19