Edward O'Callaghan (eocallaghan@alterapraxis.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/7634
-gerrit
commit 265bf1279c8209e147eebb7db1adf0d5312cf306 Author: Edward O'Callaghan eocallaghan@alterapraxis.com Date: Wed Dec 3 19:28:36 2014 +1100
device/cpu_device.c: x86 bits winding up in ARM builds
This seems to happen during clang builds.
Change-Id: I13df19024549a732922496527f7881bc566f723b Signed-off-by: Edward O'Callaghan eocallaghan@alterapraxis.com --- src/device/cpu_device.c | 2 ++ 1 file changed, 2 insertions(+)
diff --git a/src/device/cpu_device.c b/src/device/cpu_device.c index e76b539..2eada9c 100644 --- a/src/device/cpu_device.c +++ b/src/device/cpu_device.c @@ -20,6 +20,7 @@
#include <device/device.h> #include <console/console.h> +#if CONFIG_ARCH_X86 #include <cpu/x86/lapic.h>
void remap_bsp_lapic(struct bus *cpu_bus) @@ -36,6 +37,7 @@ void remap_bsp_lapic(struct bus *cpu_bus) cpu->path.apic.apic_id = bsp_lapic_id; } } +#endif /* CONFIG_ARCH_X86 */
device_t add_cpu_device(struct bus *cpu_bus, unsigned apic_id, int enabled) {