| Mate Toth-Pal | e147533 | 2018-04-09 17:28:49 +0200 | [diff] [blame^] | 1 | /*
|
| 2 | * Copyright (c) 2018, Arm Limited. All rights reserved.
|
| 3 | *
|
| 4 | * SPDX-License-Identifier: BSD-3-Clause
|
| 5 | *
|
| 6 | */
|
| 7 |
|
| 8 | #ifndef __TFM_SPM_HAL_H__
|
| 9 | #define __TFM_SPM_HAL_H__
|
| 10 |
|
| 11 | #include <stdint.h>
|
| 12 |
|
| 13 | /**
|
| 14 | * Holds the data necessary to do isolation for a specific peripheral.
|
| 15 | */
|
| 16 | struct tfm_spm_partition_platform_data_t
|
| 17 | {
|
| 18 | uint32_t periph_start;
|
| 19 | uint32_t periph_limit;
|
| 20 | uint16_t periph_ppc_bank;
|
| 21 | uint16_t periph_ppc_loc;
|
| 22 | };
|
| 23 |
|
| 24 | /**
|
| 25 | * \brief Initialise the platform related fields of a partition DB record.
|
| 26 | *
|
| 27 | * \param[in] partition_id The id of the partition
|
| 28 | * \param[in] platform_data The platform fields of the partition DB record to
|
| 29 | * init
|
| 30 | */
|
| 31 | void tfm_spm_hal_init_platform_data(uint32_t partition_id,
|
| 32 | struct tfm_spm_partition_platform_data_t *platform_data);
|
| 33 |
|
| 34 | #endif /* __TFM_SPM_HAL_H__ */
|