1 /* SPDX-License-Identifier: BSD-3-Clause */
2 /*
3  * Copyright (c) 2016-2020, STMicroelectronics
4  */
5 
6 #ifndef __STM32MP1_BSEC_SVC_H__
7 #define __STM32MP1_BSEC_SVC_H__
8 
9 #include <kernel/thread.h>
10 #include <stdint.h>
11 #include <stm32mp1_smc.h>
12 
13 #ifdef CFG_STM32_BSEC_SIP
14 void bsec_main(struct thread_smc_args *args);
15 #else
bsec_main(struct thread_smc_args * args)16 static inline void bsec_main(struct thread_smc_args *args)
17 {
18 	args->a0 = STM32_SIP_SVC_UNKNOWN_FUNCTION;
19 }
20 #endif
21 #endif /*__STM32MP1_BSEC_SVC_H__*/
22