build: convert HAS_GDBSX use to Kconfig

Use the Kconfig generated CONFIG_HAS_GDBSX defines in the code base.

Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Jan Beulich <jbeulich@suse.com>

diff --git a/xen/Rules.mk b/xen/Rules.mk
index 09783e760eac81e0fc51313ebca5c1ab82577c6a..f572c0dc7c84ef834b0ca07bcf9d4ee1f88109f1 100644 (file)
--- a/xen/Rules.mk
+++ b/xen/Rules.mk
@@ -56,7 +56,6 @@ CFLAGS-$(crash_debug)   += -DCRASH_DEBUG
 CFLAGS-$(perfc)         += -DPERF_COUNTERS
 CFLAGS-$(perfc_arrays)  += -DPERF_ARRAYS
 CFLAGS-$(lock_profile)  += -DLOCK_PROFILE
-CFLAGS-$(HAS_GDBSX)     += -DHAS_GDBSX
 CFLAGS-$(HAS_MEM_ACCESS)  += -DHAS_MEM_ACCESS
 CFLAGS-$(HAS_MEM_PAGING)  += -DHAS_MEM_PAGING
 CFLAGS-$(HAS_MEM_SHARING) += -DHAS_MEM_SHARING

diff --git a/xen/arch/x86/Kconfig b/xen/arch/x86/Kconfig
index d04ab0524522e7de5e015fb705ae5c0a721ae119..12780f96cbd27780b375bfc4e2525f366050d3d8 100644 (file)
--- a/xen/arch/x86/Kconfig
+++ b/xen/arch/x86/Kconfig
@@ -5,6 +5,7 @@ config X86
        def_bool y
        select HAS_ACPI
        select HAS_CPUFREQ
+       select HAS_GDBSX
        select HAS_IOPORTS
        select HAS_NS16550
        select HAS_PASSTHROUGH

diff --git a/xen/arch/x86/Rules.mk b/xen/arch/x86/Rules.mk
index c09757a4b244c0ba99db34aeb725003bd56bc792..88c47ab6aef14f03ec93e2f306842dc017f3261f 100644 (file)
--- a/xen/arch/x86/Rules.mk
+++ b/xen/arch/x86/Rules.mk
@@ -4,7 +4,6 @@
 HAS_NUMA := y
 HAS_EHCI := y
 HAS_KEXEC := y
-HAS_GDBSX := y
 HAS_PDX := y
 HAS_CORE_PARKING := y
 xenoprof := y

diff --git a/xen/common/Kconfig b/xen/common/Kconfig
index ea04d112cd1e8d83d985b0a5cbc63d6268761d72..75edd45f85abf1e34301cdd8ef86213fb97d4c46 100644 (file)
--- a/xen/common/Kconfig
+++ b/xen/common/Kconfig
@@ -5,6 +5,10 @@ menu "Common Features"
 config HAS_DEVICE_TREE
        bool
 
+# Select HAS_GDBSX if GDBSX is supported
+config HAS_GDBSX
+       bool
+
 config HAS_IOPORTS
        bool
 

diff --git a/xen/common/domain.c b/xen/common/domain.c
index c4661d8a35d537d6eac86acd54f485baf20c826c..1017efb3d410db2716983d7c03ddc87062b87d48 100644 (file)
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -772,7 +772,7 @@ void vcpu_end_shutdown_deferral(struct vcpu *v)
         vcpu_check_shutdown(v);
 }
 
-#ifdef HAS_GDBSX
+#ifdef CONFIG_HAS_GDBSX
 void domain_pause_for_debugger(void)
 {
     struct vcpu *curr = current;