From 168eda5f0d26a233bd997e0b0597926e80df57a3 Mon Sep 17 00:00:00 2001 From: Aaron Durbin Date: Fri, 1 May 2015 16:48:54 -0500 Subject: [PATCH] arch/arm64: provide boot_cpu() Change-Id: I708041133dfafdc97e052952ad9d8f2e4164209c Signed-off-by: Aaron Durbin Signed-off-by: Patrick Georgi Reviewed-on: http://review.coreboot.org/10105 Tested-by: build bot (Jenkins) --- src/arch/arm64/cpu.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/arch/arm64/cpu.c b/src/arch/arm64/cpu.c index cd8dd3820a..7965577141 100644 --- a/src/arch/arm64/cpu.c +++ b/src/arch/arm64/cpu.c @@ -22,6 +22,7 @@ #include #include #include +#include #include "cpu-internal.h" struct cpu_info cpu_infos[CONFIG_MAX_CPUS]; @@ -218,3 +219,8 @@ void arch_cpu_wait_for_action(void) action_queue_complete(q, orig); } } + +int boot_cpu(void) +{ + return cpu_is_bsp(); +}