Based on proposal by Benedikt Spranger: CONFIG_ARCH_SUN7I and
CONFIG_ARCH_VEXPRESS select a machine type, not an architecture. Rename
them to clarify this.
ci/jailhouse-config-banana-pi.h | 2 +-
ci/jailhouse-config-vexpress.h | 2 +-
hypervisor/arch/arm/Makefile | 4 ++--
hypervisor/arch/arm/include/asm/platform.h | 8 ++++----
inmates/demos/arm/gic-demo.c | 2 +-
inmates/lib/arm/Makefile.lib | 4 ++--
6 files changed, 11 insertions(+), 11 deletions(-)
diff --git a/ci/jailhouse-config-banana-pi.h b/ci/jailhouse-config-banana-pi.h
index 15cbd58..69afba1 100644
--- a/ci/jailhouse-config-banana-pi.h
+++ b/ci/jailhouse-config-banana-pi.h
@@ -1,3 +1,3 @@
#define CONFIG_ARM_GIC 1
-#define CONFIG_ARCH_SUN7I 1
+#define CONFIG_MACH_SUN7I 1
#define CONFIG_SERIAL_8250_DW 1
diff --git a/ci/jailhouse-config-vexpress.h b/ci/jailhouse-config-vexpress.h
index ddd6e84..3ee36bf 100644
--- a/ci/jailhouse-config-vexpress.h
+++ b/ci/jailhouse-config-vexpress.h
@@ -1,3 +1,3 @@
#define CONFIG_ARM_GIC 1
-#define CONFIG_ARCH_VEXPRESS 1
+#define CONFIG_MACH_VEXPRESS 1
#define CONFIG_SERIAL_AMBA_PL011 1
diff --git a/hypervisor/arch/arm/Makefile b/hypervisor/arch/arm/Makefile
index c9186d3..51e46af 100644
--- a/hypervisor/arch/arm/Makefile
+++ b/hypervisor/arch/arm/Makefile
@@ -25,5 +25,5 @@ obj-$(CONFIG_ARM_GIC_V3) += gic-v3.o
obj-$(CONFIG_ARM_GIC) += gic-v2.o
obj-$(CONFIG_SERIAL_AMBA_PL011) += dbg-write-pl011.o
obj-$(CONFIG_SERIAL_8250_DW) += uart-8250-dw.o
-obj-$(CONFIG_ARCH_VEXPRESS) += smp-vexpress.o
-obj-$(CONFIG_ARCH_SUN7I) += smp-sun7i.o
+obj-$(CONFIG_MACH_VEXPRESS) += smp-vexpress.o
+obj-$(CONFIG_MACH_SUN7I) += smp-sun7i.o
diff --git a/hypervisor/arch/arm/include/asm/platform.h b/hypervisor/arch/arm/include/asm/platform.h
index 1a2d4b3..b0d51ee 100644
--- a/hypervisor/arch/arm/include/asm/platform.h
+++ b/hypervisor/arch/arm/include/asm/platform.h
@@ -20,7 +20,7 @@
*/
#ifndef __ASSEMBLY__
-#ifdef CONFIG_ARCH_VEXPRESS
+#ifdef CONFIG_MACH_VEXPRESS
# ifdef CONFIG_ARM_GIC_V3
# define GICD_BASE ((void *)0x2f000000)
@@ -50,9 +50,9 @@
# define MAINTENANCE_IRQ 25
# define SYSREGS_BASE 0x1c010000
-#endif /* CONFIG_ARCH_VEXPRESS */
+#endif /* CONFIG_MACH_VEXPRESS */
-#ifdef CONFIG_ARCH_SUN7I
+#ifdef CONFIG_MACH_SUN7I
# define GICD_BASE ((void *)0x01c81000)
# define GICD_SIZE 0x1000
@@ -67,7 +67,7 @@
# define MAINTENANCE_IRQ 25
-#endif /* CONFIG_ARCH_SUN7I */
+#endif /* CONFIG_MACH_SUN7I */
#define HOTPLUG_SPIN 1
/*
diff --git a/inmates/demos/arm/gic-demo.c b/inmates/demos/arm/gic-demo.c
index 823f69d..e5c3669 100644
--- a/inmates/demos/arm/gic-demo.c
+++ b/inmates/demos/arm/gic-demo.c
@@ -68,7 +68,7 @@ static void handle_IRQ(unsigned int irqn)
ticks_to_ns(delta), ticks_to_ns(min_delta),
ticks_to_ns(max_delta));
-#ifdef CONFIG_ARCH_SUN7I
+#ifdef CONFIG_MACH_SUN7I
/* let green LED on Banana Pi blink */
#define LED_REG (void *)(0x1c20800 + 7*0x24 + 0x10)
mmio_write32(LED_REG, mmio_read32(LED_REG) ^ (1<<24));
diff --git a/inmates/lib/arm/Makefile.lib b/inmates/lib/arm/Makefile.lib
index 68c4cc2..2746eda 100644
--- a/inmates/lib/arm/Makefile.lib
+++ b/inmates/lib/arm/Makefile.lib
@@ -27,8 +27,8 @@ define DECLARE_TARGETS =
$$(_TARGETS:.bin=-linked.o) $$(_TARGETS)
endef
-mach-$(CONFIG_ARCH_VEXPRESS) := vexpress
-mach-$(CONFIG_ARCH_SUN7I) := sun7i
+mach-$(CONFIG_MACH_VEXPRESS) := vexpress
+mach-$(CONFIG_MACH_SUN7I) := sun7i
gic-$(CONFIG_ARM_GIC) := gic-v2.o
gic-$(CONFIG_ARM_GIC_V3) := gic-v3.o
--
2.1.4