1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2021, Arm Limited
4  */
5 
6 #include <arm.h>
7 #include <kernel/boot.h>
8 #include <ffa.h>
9 #include <sm/psci.h>
10 
ffa_secondary_cpu_ep_register(vaddr_t secondary_ep)11 void ffa_secondary_cpu_ep_register(vaddr_t secondary_ep)
12 {
13 	unsigned int ret = 0;
14 
15 	/* Invoke FFA_SECONDARY_EP_REGISTER_64 to the SPMC */
16 	ret = thread_smc(FFA_SECONDARY_EP_REGISTER_64, secondary_ep, 0, 0);
17 
18 	if (ret != FFA_SUCCESS_32 && ret != FFA_SUCCESS_64) {
19 		EMSG("FFA_SECONDARY_EP_REGISTER_64 ret %"PRId32, ret);
20 	}
21 
22 	return;
23 }
24