Use the Kconfig generated CONFIG_HAS_PDX defines in the code base.
Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
CFLAGS-$(HAS_MEM_ACCESS) += -DHAS_MEM_ACCESS
CFLAGS-$(HAS_MEM_PAGING) += -DHAS_MEM_PAGING
CFLAGS-$(HAS_MEM_SHARING) += -DHAS_MEM_SHARING
-CFLAGS-$(HAS_PDX) += -DHAS_PDX
CFLAGS-$(frame_pointer) += -fno-omit-frame-pointer -DCONFIG_FRAME_POINTER
ifneq ($(max_phys_cpus),)
def_bool y
select HAS_DEVICE_TREE
select HAS_PASSTHROUGH
+ select HAS_PDX
select HAS_VIDEO
config ARCH_DEFCONFIG
#
HAS_ARM_HDLCD := y
-HAS_PDX := y
CFLAGS += -I$(BASEDIR)/include
select HAS_NS16550
select HAS_PASSTHROUGH
select HAS_PCI
+ select HAS_PDX
select HAS_VGA
config ARCH_DEFCONFIG
HAS_NUMA := y
HAS_EHCI := y
HAS_KEXEC := y
-HAS_PDX := y
HAS_CORE_PARKING := y
xenoprof := y
config HAS_DEVICE_TREE
bool
+# Select HAS_PDX if PDX is supported
+config HAS_PDX
+ bool
+
# Select HAS_GDBSX if GDBSX is supported
config HAS_GDBSX
bool
obj-y += multicall.o
obj-y += notifier.o
obj-y += page_alloc.o
-obj-$(HAS_PDX) += pdx.o
+obj-$(CONFIG_HAS_PDX) += pdx.o
obj-y += preempt.o
obj-y += random.o
obj-y += rangeset.o
#ifndef __XEN_PDX_H__
#define __XEN_PDX_H__
-#ifdef HAS_PDX
+#ifdef CONFIG_HAS_PDX
extern unsigned long max_pdx;
extern unsigned long pfn_pdx_bottom_mask, ma_va_bottom_mask;