1*21b14fd2SDhruva Gole /* 2*21b14fd2SDhruva Gole * Copyright (c) 2025, Texas Instruments Incorporated - https://www.ti.com/ 3*21b14fd2SDhruva Gole * 4*21b14fd2SDhruva Gole * SPDX-License-Identifier: BSD-3-Clause 5*21b14fd2SDhruva Gole */ 6*21b14fd2SDhruva Gole 7*21b14fd2SDhruva Gole #ifndef PLATFORM_DEF_H 8*21b14fd2SDhruva Gole #define PLATFORM_DEF_H 9*21b14fd2SDhruva Gole 10*21b14fd2SDhruva Gole #include <ti_platform_defs.h> 11*21b14fd2SDhruva Gole 12*21b14fd2SDhruva Gole #define TI_MAILBOX_TX_BASE UL(0x44240000) /* TFA sending IPC messages to TIFS */ 13*21b14fd2SDhruva Gole #define TI_MAILBOX_RX_BASE UL(0x44250000) /* TIFS sending IPC messages to A53 */ 14*21b14fd2SDhruva Gole 15*21b14fd2SDhruva Gole #define WKUP_CTRL_MMR0_DEVICE_MANAGEMENT_BASE (0x43050000UL) 16*21b14fd2SDhruva Gole #define WKUP_CTRL_MMR0_DEVICE_RESET_OFFSET (0x4000UL) 17*21b14fd2SDhruva Gole 18*21b14fd2SDhruva Gole #endif /* PLATFORM_DEF_H */ 19