1 /*
2  *  SPDX-License-Identifier: BSD-3-Clause
3  *  SPDX-FileCopyrightText: Copyright The TrustedFirmware-M Contributors
4  *
5  */
6 
7 #include "tfm_peripherals_def.h"
8 #include "array.h"
9 #include "tfm_hal_device_header.h"
10 
11 /* Allowed named MMIO of this platform */
12 const uintptr_t partition_named_mmio_list[] = {
13     (uintptr_t)TFM_PERIPHERAL_TIMER0,
14     (uintptr_t)TFM_PERIPHERAL_STD_UART,
15 #ifdef PSA_API_TEST_IPC
16     (uintptr_t)FF_TEST_UART_REGION,
17     (uintptr_t)FF_TEST_WATCHDOG_REGION,
18     (uintptr_t)FF_TEST_NVMEM_REGION,
19     (uintptr_t)FF_TEST_SERVER_PARTITION_MMIO,
20     (uintptr_t)FF_TEST_DRIVER_PARTITION_MMIO,
21 #endif
22 };
23 
get_partition_named_mmio_list(const uintptr_t ** list,size_t * length)24 void get_partition_named_mmio_list(const uintptr_t** list, size_t* length) {
25     *list = partition_named_mmio_list;
26     *length = ARRAY_SIZE(partition_named_mmio_list);
27 }
28