1 /*
2  * Copyright (c) 2022, MediaTek Inc. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <stdint.h>
8 #include <mtk_mmap_pool.h>
9 #include <platform_def.h>
10 
11 static const mmap_region_t plat_mmap[] = {
12 	MAP_REGION_FLAT(MTK_DEV_RNG0_BASE, MTK_DEV_RNG0_SIZE,
13 			MT_DEVICE | MT_RW | MT_SECURE),
14 	MAP_REGION_FLAT(MTK_DEV_RNG1_BASE, MTK_DEV_RNG1_SIZE,
15 			MT_DEVICE | MT_RW | MT_SECURE),
16 	MAP_REGION_FLAT(CPU_IDLE_SRAM_BASE, CPU_IDLE_SRAM_SIZE,
17 			MT_DEVICE | MT_RW | MT_SECURE),
18 	{ 0 }
19 };
20 DECLARE_MTK_MMAP_REGIONS(plat_mmap);
21