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