1 /* 2 * Copyright (c) 2025, Texas Instruments Incorporated - https://www.ti.com/ 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef PLATFORM_DEF_H 8 #define PLATFORM_DEF_H 9 10 #include <ti_platform_defs.h> 11 12 #define TI_MAILBOX_TX_BASE UL(0x44240000) /* TFA sending IPC messages to TIFS */ 13 #define TI_MAILBOX_RX_BASE UL(0x44250000) /* TIFS sending IPC messages to A53 */ 14 15 /* We just need 512 bytes starting from TX/RX each, but simpler to just remap a 128K page */ 16 #define TI_MAILBOX_RX_TX_SIZE UL(0x20000) 17 18 #define WKUP_CTRL_MMR0_BASE UL(0x43000000) 19 #define WKUP_CTRL_MMR0_SIZE UL(0x80000) 20 21 #define WKUP_CTRL_MMR0_DEVICE_RESET_OFFSET UL(0x54000) 22 23 #endif /* PLATFORM_DEF_H */ 24