5 * Licensed under the Apache License, Version 2.0 (the "License");
6 * you may not use this file except in compliance with the License.
7 * You may obtain a copy of the License at
8 *
9 * http://www.apache.org/licenses/LICENSE-2.0
10 *
11 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS,
13 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 * See the License for the specific language governing permissions and
15 * limitations under the License.
16 */
17
18#ifndef __MBED_SPM_INIT_H__
19#define __MBED_SPM_INIT_H__
20
21#if defined(COMPONENT_SPE)
22
23/*
24 * Initialize SPM
25 */
26void psa_spm_init(void);
27
28#endif // defined(COMPONENT_SPE)
29
30#if defined(COMPONENT_SPM_MAILBOX)
31
32/*
33 * Initialize SPM mailbox driver
34 */
35void spm_ipc_mailbox_init(void);
36
37#if defined(COMPONENT_NSPE)
38
39/*
40 * PSA mailbox dispatcher
41 *
42 * Dispatcher thread never returns and expected to be called
43 * from startup code as a detached thread entry point
44 */
45void psa_spm_mailbox_dispatcher(void);
46
47#endif // defined(COMPONENT_NSPE)
48
49#endif // defined(COMPONENT_SPM_MAILBOX)
50
51#endif // __MBED_SPM_INIT_H__
Important Information for this Arm website
This site uses cookies to store information on your computer.
By continuing to use our site, you consent to our cookies.
If you are not happy with the use of these cookies, please review our
Cookie Policy
to learn how they can be disabled.
By disabling cookies, some features of the site will not work.
