| /* |
| * Copyright (c) 2023, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| * |
| */ |
| |
| #ifndef RSS_PLATFORM_API_H |
| #define RSS_PLATFORM_API_H |
| |
| #include <stdint.h> |
| |
| #include "psa/error.h" |
| #include <rss_crypto_defs.h> |
| |
| #define RSS_PLATFORM_API_ID_NV_READ (1010) |
| #define RSS_PLATFORM_API_ID_NV_INCREMENT (1011) |
| |
| /* |
| * Increments the given non-volatile (NV) counter by one |
| * |
| * counter_id NV counter ID. |
| * |
| * PSA_SUCCESS if the value is read correctly. Otherwise, |
| * it returns a PSA_ERROR. |
| */ |
| psa_status_t |
| rss_platform_nv_counter_increment(uint32_t counter_id); |
| |
| /* |
| * Reads the given non-volatile (NV) counter |
| * |
| * counter_id NV counter ID. |
| * size Size of the buffer to store NV counter value |
| * in bytes. |
| * val Pointer to store the current NV counter value. |
| * |
| * PSA_SUCCESS if the value is read correctly. Otherwise, |
| * it returns a PSA_ERROR. |
| */ |
| psa_status_t |
| rss_platform_nv_counter_read(uint32_t counter_id, |
| uint32_t size, uint8_t *val); |
| |
| /* |
| * Reads the public key or the public part of a key pair in binary format. |
| * |
| * key Identifier of the key to export. |
| * data Buffer where the key data is to be written. |
| * data_size Size of the data buffer in bytes. |
| * data_length On success, the number of bytes that make up the key data. |
| * |
| * PSA_SUCCESS if the value is read correctly. Otherwise, |
| * it returns a PSA_ERROR. |
| */ |
| psa_status_t |
| rss_platform_key_read(enum rss_key_id_builtin_t key, uint8_t *data, |
| size_t data_size, size_t *data_length); |
| |
| #endif /* RSS_PLATFORM_API_H */ |