aboutsummaryrefslogtreecommitdiff
path: root/platform/include/tfm_spm_hal.h
diff options
context:
space:
mode:
Diffstat (limited to 'platform/include/tfm_spm_hal.h')
-rw-r--r--platform/include/tfm_spm_hal.h9
1 files changed, 6 insertions, 3 deletions
diff --git a/platform/include/tfm_spm_hal.h b/platform/include/tfm_spm_hal.h
index 1bc2626cad..b12df11571 100644
--- a/platform/include/tfm_spm_hal.h
+++ b/platform/include/tfm_spm_hal.h
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 2018-2019, Arm Limited. All rights reserved.
+ * Copyright (c) 2018-2020, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*
@@ -117,16 +117,19 @@ enum tfm_plat_err_t tfm_spm_hal_setup_isolation_hw(void);
#endif
/**
- * \brief Configure peripherals for a partition based on the platfotm data from
- * the DB
+ * \brief Configure peripherals for a partition based on the platform data and
+ * partition index from the DB
*
* This function is called during partition initialisation (before calling the
* init function for the partition)
*
+ * \param[in] partition_idx The index of the partition that this peripheral
+ * is assigned to.
* \param[in] platform_data The platform fields of the partition DB record to
* be used for configuration. Can be NULL.
*/
void tfm_spm_hal_configure_default_isolation(
+ uint32_t partition_idx,
const struct tfm_spm_partition_platform_data_t *platform_data);
/**
* \brief Configures the system debug properties.