New patch to review for coreboot: 5ad88aa arch/arm64: provide boot_cpu()

[Patrick Georgi]

Patrick Georgi ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10105

-gerrit

commit 5ad88aa551667ca4d1a828d1abc4ccc0ff8f6f5e
Author: Aaron Durbin 
Date:   Fri May 1 16:48:54 2015 -0500

arch/arm64: provide boot_cpu()

Change-Id: I708041133dfafdc97e052952ad9d8f2e4164209c
    Signed-off-by: Aaron Durbin 
    Signed-off-by: Patrick Georgi 
---
 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 cd8dd38..7965577 100644
--- a/src/arch/arm64/cpu.c
+++ b/src/arch/arm64/cpu.c
@@ -22,6 +22,7 @@
 #include <arch/lib_helpers.h>
 #include <cpu/cpu.h>
 #include <console/console.h>
+#include <smp/node.h>
 #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();
+}