Soby Mathew | 96a1c6b | 2018-01-15 14:45:33 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
Antonio Nino Diaz | b5acb3f | 2018-10-30 16:32:48 +0000 | [diff] [blame] | 6 | #ifndef ARM_DYN_CFG_HELPERS_H |
| 7 | #define ARM_DYN_CFG_HELPERS_H |
Soby Mathew | 96a1c6b | 2018-01-15 14:45:33 +0000 | [diff] [blame] | 8 | |
John Tsichritzis | c34341a | 2018-07-30 13:41:52 +0100 | [diff] [blame] | 9 | #include <stddef.h> |
Soby Mathew | 96a1c6b | 2018-01-15 14:45:33 +0000 | [diff] [blame] | 10 | #include <stdint.h> |
| 11 | |
John Tsichritzis | c34341a | 2018-07-30 13:41:52 +0100 | [diff] [blame] | 12 | /* Function declarations */ |
Soby Mathew | b681484 | 2018-04-04 09:40:32 +0100 | [diff] [blame] | 13 | int arm_dyn_get_config_load_info(void *dtb, int node, unsigned int config_id, |
| 14 | uint64_t *config_addr, uint32_t *config_size); |
Soby Mathew | 96a1c6b | 2018-01-15 14:45:33 +0000 | [diff] [blame] | 15 | int arm_dyn_tb_fw_cfg_init(void *dtb, int *node); |
Soby Mathew | 45e39e2 | 2018-03-26 15:16:46 +0100 | [diff] [blame] | 16 | int arm_dyn_get_disable_auth(void *dtb, int node, uint32_t *disable_auth); |
John Tsichritzis | c34341a | 2018-07-30 13:41:52 +0100 | [diff] [blame] | 17 | int arm_get_dtb_mbedtls_heap_info(void *dtb, void **heap_addr, |
| 18 | size_t *heap_size); |
| 19 | int arm_set_dtb_mbedtls_heap_info(void *dtb, void *heap_addr, |
| 20 | size_t heap_size); |
Soby Mathew | 96a1c6b | 2018-01-15 14:45:33 +0000 | [diff] [blame] | 21 | |
Antonio Nino Diaz | b5acb3f | 2018-10-30 16:32:48 +0000 | [diff] [blame] | 22 | #endif /* ARM_DYN_CFG_HELPERS_H */ |