1 /*
2  * Copyright (c) 2023-2024, Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  *
6  */
7 
8 #include "tfm_peripherals_def.h"
9 #include "array.h"
10 #include "tfm_hal_device_header.h"
11 #include <stdint.h>
12 #include <stddef.h>
13 
14 /* Allowed named MMIO of this platform */
15 static const uintptr_t partition_named_mmio_list[] = {
16     (uintptr_t)TFM_PERIPHERAL_TIMER0,
17     (uintptr_t)TFM_PERIPHERAL_STD_UART,
18 };
19 
get_partition_named_mmio_list(const uintptr_t ** list,size_t * length)20 void get_partition_named_mmio_list(const uintptr_t** list, size_t* length) {
21     *list = partition_named_mmio_list;
22     *length = ARRAY_SIZE(partition_named_mmio_list);
23 }
24