| Chris Brand | c47d710 | 2020-02-20 11:12:18 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #ifndef __TFM_HAL_PS_H__ |
| 9 | #define __TFM_HAL_PS_H__ |
| 10 | |
| 11 | #ifdef __cplusplus |
| 12 | extern "C" { |
| 13 | #endif |
| 14 | |
| 15 | /** |
| 16 | * \brief Retrieve the filesystem config for PS. |
| 17 | * |
| 18 | * Note that this function should ensure that the values returned do |
| 19 | * not result in a security compromise. |
| 20 | * |
| 21 | * \param [out] flash_area_addr Location of the block of flash to use for PS |
| 22 | * \param [out] flash_area_size Number of bytes of flash to use for PS |
| 23 | * |
| 24 | * \return void |
| 25 | * If an error is detected within this function, is should leave the |
| 26 | * content of the parameters unchanged. |
| 27 | */ |
| 28 | void tfm_hal_ps_fs_info(uint32_t *flash_area_addr, uint32_t *flash_area_size); |
| 29 | |
| 30 | #ifdef __cplusplus |
| 31 | } |
| 32 | #endif |
| 33 | |
| 34 | #endif /* __TFM_HAL_PS_H__ */ |