1 /* 2 * Copyright (C) 2025 Texas Instruments Incorporated - https://www.ti.com/ 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #ifndef PLATFORM_PRIVATE_H 7 #define PLATFORM_PRIVATE_H 8 9 #include <drivers/generic_delay_timer.h> 10 #include <lib/mmio.h> 11 #include <lib/xlat_tables/xlat_tables_v2.h> 12 13 #include <board_def.h> 14 15 #define ADDR_DOWN(_adr) (_adr & XLAT_ADDR_MASK(2U)) 16 #define SIZE_UP(_adr, _sz) (round_up((_adr + _sz), XLAT_BLOCK_SIZE(2U)) - ADDR_DOWN(_adr)) 17 18 #define K3_MAP_REGION_FLAT(_adr, _sz, _attr) \ 19 MAP_REGION_FLAT(ADDR_DOWN(_adr), SIZE_UP(_adr, _sz), _attr) 20 21 extern const mmap_region_t plat_k3_mmap[]; 22 23 /* Any kind of SOC specific init can be done here */ 24 int ti_soc_init(void); 25 26 #endif /* PLATFORM_PRIVATE_H */ 27