blob: 2f745c23f262d5d7a00fb1fb1392b47764cb69e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
/*
* Copyright (c) 2017-2021, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*
*/
#include <stdint.h>
#include <stdbool.h>
#include "os_wrapper/mutex.h"
#include "tfm_api.h"
#include "tfm_ns_interface.h"
/**
* \brief the ns_lock ID
*/
static void *ns_lock_handle = NULL;
__attribute__((weak))
int32_t tfm_ns_interface_dispatch(veneer_fn fn,
uint32_t arg0, uint32_t arg1,
uint32_t arg2, uint32_t arg3)
{
int32_t result;
/* TFM request protected by NS lock */
while (os_wrapper_mutex_acquire(ns_lock_handle, OS_WRAPPER_WAIT_FOREVER)
!= OS_WRAPPER_SUCCESS);
result = fn(arg0, arg1, arg2, arg3);
while (os_wrapper_mutex_release(ns_lock_handle) != OS_WRAPPER_SUCCESS);
return result;
}
__attribute__((weak))
enum tfm_status_e tfm_ns_interface_init(void)
{
void *handle;
handle = os_wrapper_mutex_create();
if (!handle) {
return TFM_ERROR_GENERIC;
}
ns_lock_handle = handle;
return TFM_SUCCESS;
}
|