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 #define WKUP_CTRL_MMR0_DEVICE_MANAGEMENT_BASE (0x43050000UL) 16 #define WKUP_CTRL_MMR0_DEVICE_RESET_OFFSET (0x4000UL) 17 18 #endif /* PLATFORM_DEF_H */ 19