| Valerio Setti | 4f4ade9 | 2024-05-03 17:28:04 +0200 | [diff] [blame] | 1 | /* Declarations of internal functions. */ |
| 2 | |
| 3 | /* |
| 4 | * Copyright The Mbed TLS Contributors |
| 5 | * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
| 6 | */ |
| 7 | |
| 8 | #include <stdint.h> |
| Valerio Setti | 66fb1c1 | 2024-05-10 06:51:16 +0200 | [diff] [blame^] | 9 | #include <service.h> |
| Valerio Setti | 4f4ade9 | 2024-05-03 17:28:04 +0200 | [diff] [blame] | 10 | void raise_signal(psa_signal_t signal); |
| 11 | void __init_psasim(const char **array, |
| 12 | int size, |
| 13 | const int allow_ns_clients_array[32], |
| 14 | const uint32_t versions[32], |
| 15 | const int strict_policy_array[32]); |