1 /*
2  * Copyright (c) 2022, Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  *
6  */
7 
8 #ifndef __BACKEND_SFN_H__
9 #define __BACKEND_SFN_H__
10 
11 /* Calculate the service set. In SFN, nothing is calculated. */
12 #define BACKEND_SERVICE_SET(set, p_service)
13 
14 #define BACKEND_SPM_INIT() tfm_spm_init()
15 
16 #endif /* __BACKEND_SFN_H__ */
17