Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 1 | /** |
| 2 | * \file psa/crypto_platform.h |
| 3 | * |
Jaeden Amero | 95d8438 | 2019-05-30 13:14:00 +0100 | [diff] [blame] | 4 | * \brief PSA cryptography module: Mbed TLS platform definitions |
Gilles Peskine | 07c91f5 | 2018-06-28 18:02:53 +0200 | [diff] [blame] | 5 | * |
| 6 | * \note This file may not be included directly. Applications must |
| 7 | * include psa/crypto.h. |
| 8 | * |
| 9 | * This file contains platform-dependent type definitions. |
| 10 | * |
| 11 | * In implementations with isolation between the application and the |
| 12 | * cryptography module, implementers should take care to ensure that |
| 13 | * the definitions that are exposed to applications match what the |
| 14 | * module implements. |
Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 15 | */ |
| 16 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 17 | * Copyright The Mbed TLS Contributors |
Dave Rodgman | 7ff7965 | 2023-11-03 12:04:52 +0000 | [diff] [blame^] | 18 | * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 19 | */ |
| 20 | |
| 21 | #ifndef PSA_CRYPTO_PLATFORM_H |
| 22 | #define PSA_CRYPTO_PLATFORM_H |
| 23 | |
| 24 | /* Include the Mbed TLS configuration file, the way Mbed TLS does it |
| 25 | * in each of its header files. */ |
| 26 | #if !defined(MBEDTLS_CONFIG_FILE) |
Jaeden Amero | d58a00d | 2019-06-07 11:49:59 +0100 | [diff] [blame] | 27 | #include "mbedtls/config.h" |
Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 28 | #else |
| 29 | #include MBEDTLS_CONFIG_FILE |
| 30 | #endif |
| 31 | |
Gilles Peskine | bce4dc0 | 2020-11-09 15:06:57 +0100 | [diff] [blame] | 32 | /* Translate between classic MBEDTLS_xxx feature symbols and PSA_xxx |
| 33 | * feature symbols. */ |
| 34 | #include "mbedtls/config_psa.h" |
| 35 | |
Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 36 | /* PSA requires several types which C99 provides in stdint.h. */ |
| 37 | #include <stdint.h> |
| 38 | |
Gilles Peskine | 1b6c09a | 2023-01-11 14:52:35 +0100 | [diff] [blame] | 39 | #if (defined(__ARMCC_VERSION) || defined(_MSC_VER)) && \ |
Ronald Cron | ecfb237 | 2020-07-23 17:13:42 +0200 | [diff] [blame] | 40 | !defined(inline) && !defined(__cplusplus) |
| 41 | #define inline __inline |
| 42 | #endif |
| 43 | |
Ronald Cron | 71016a9 | 2020-08-28 19:01:50 +0200 | [diff] [blame] | 44 | #if defined(MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER) |
Gilles Peskine | 69d7c8b | 2019-02-19 14:00:31 +0100 | [diff] [blame] | 45 | |
Ronald Cron | 9a2511e | 2020-09-14 10:02:56 +0200 | [diff] [blame] | 46 | /* Building for the PSA Crypto service on a PSA platform, a key owner is a PSA |
| 47 | * partition identifier. |
| 48 | * |
| 49 | * The function psa_its_identifier_of_slot() in psa_crypto_storage.c that |
| 50 | * translates a key identifier to a key storage file name assumes that |
Tom Cosgrove | 5205c97 | 2022-07-28 06:12:08 +0100 | [diff] [blame] | 51 | * mbedtls_key_owner_id_t is a 32-bit integer. This function thus needs |
| 52 | * reworking if mbedtls_key_owner_id_t is not defined as a 32-bit integer |
Ronald Cron | 9a2511e | 2020-09-14 10:02:56 +0200 | [diff] [blame] | 53 | * here anymore. |
| 54 | */ |
Ronald Cron | 72f65fc | 2020-09-01 15:50:17 +0200 | [diff] [blame] | 55 | typedef int32_t mbedtls_key_owner_id_t; |
Ronald Cron | ecfb237 | 2020-07-23 17:13:42 +0200 | [diff] [blame] | 56 | |
| 57 | /** Compare two key owner identifiers. |
| 58 | * |
| 59 | * \param id1 First key owner identifier. |
| 60 | * \param id2 Second key owner identifier. |
| 61 | * |
| 62 | * \return Non-zero if the two key owner identifiers are equal, zero otherwise. |
| 63 | */ |
Gilles Peskine | 1b6c09a | 2023-01-11 14:52:35 +0100 | [diff] [blame] | 64 | static inline int mbedtls_key_owner_id_equal(mbedtls_key_owner_id_t id1, |
| 65 | mbedtls_key_owner_id_t id2) |
Ronald Cron | ecfb237 | 2020-07-23 17:13:42 +0200 | [diff] [blame] | 66 | { |
Gilles Peskine | 1b6c09a | 2023-01-11 14:52:35 +0100 | [diff] [blame] | 67 | return id1 == id2; |
Ronald Cron | ecfb237 | 2020-07-23 17:13:42 +0200 | [diff] [blame] | 68 | } |
Gilles Peskine | 572f067 | 2019-02-19 14:16:17 +0100 | [diff] [blame] | 69 | |
Ronald Cron | 71016a9 | 2020-08-28 19:01:50 +0200 | [diff] [blame] | 70 | #endif /* MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER */ |
Gilles Peskine | 69d7c8b | 2019-02-19 14:00:31 +0100 | [diff] [blame] | 71 | |
Gilles Peskine | 76dec15 | 2021-06-15 18:36:05 +0200 | [diff] [blame] | 72 | /* |
| 73 | * When MBEDTLS_PSA_CRYPTO_SPM is defined, the code is being built for SPM |
| 74 | * (Secure Partition Manager) integration which separates the code into two |
| 75 | * parts: NSPE (Non-Secure Processing Environment) and SPE (Secure Processing |
| 76 | * Environment). When building for the SPE, an additional header file should be |
| 77 | * included. |
| 78 | */ |
| 79 | #if defined(MBEDTLS_PSA_CRYPTO_SPM) |
| 80 | #define PSA_CRYPTO_SECURE 1 |
| 81 | #include "crypto_spe.h" |
| 82 | #endif // MBEDTLS_PSA_CRYPTO_SPM |
| 83 | |
Gilles Peskine | b8af228 | 2020-11-13 18:00:34 +0100 | [diff] [blame] | 84 | #if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) |
Gilles Peskine | 88fa5c4 | 2021-01-04 21:00:53 +0100 | [diff] [blame] | 85 | /** The type of the context passed to mbedtls_psa_external_get_random(). |
Gilles Peskine | c096301 | 2020-11-18 15:33:33 +0100 | [diff] [blame] | 86 | * |
| 87 | * Mbed TLS initializes the context to all-bits-zero before calling |
| 88 | * mbedtls_psa_external_get_random() for the first time. |
| 89 | * |
| 90 | * The definition of this type in the Mbed TLS source code is for |
| 91 | * demonstration purposes. Implementers of mbedtls_psa_external_get_random() |
| 92 | * are expected to replace it with a custom definition. |
| 93 | */ |
Gilles Peskine | b8af228 | 2020-11-13 18:00:34 +0100 | [diff] [blame] | 94 | typedef struct { |
Gilles Peskine | c096301 | 2020-11-18 15:33:33 +0100 | [diff] [blame] | 95 | uintptr_t opaque[2]; |
Gilles Peskine | b8af228 | 2020-11-13 18:00:34 +0100 | [diff] [blame] | 96 | } mbedtls_psa_external_random_context_t; |
| 97 | #endif /* MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG */ |
| 98 | |
Gilles Peskine | e59236f | 2018-01-27 23:32:46 +0100 | [diff] [blame] | 99 | #endif /* PSA_CRYPTO_PLATFORM_H */ |