/*
 * Copyright (c) 2023, Aspeed Technology Inc.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef PLATFORM_REG_H
#define PLATFORM_REG_H

/* GIC */
#define GICD_BASE	U(0x12200000)
#define GICD_SIZE	U(0x10000)
#define GICR_BASE	U(0x12280000)
#define GICR_SIZE	U(0x100000)

/* UART */
#define UART_BASE	U(0x14c33000)
#define UART12_BASE	(UART_BASE + 0xb00)

/* CPU-die SCU */
#define SCU_CPU_BASE		U(0x12c02000)
#define SCU_CPU_SMP_READY	(SCU_CPU_BASE + 0x780)
#define SCU_CPU_SMP_EP1		(SCU_CPU_BASE + 0x788)
#define SCU_CPU_SMP_EP2		(SCU_CPU_BASE + 0x790)
#define SCU_CPU_SMP_EP3		(SCU_CPU_BASE + 0x798)
#define SCU_CPU_SMP_POLLINSN	(SCU_CPU_BASE + 0x7a0)

#endif /* PLATFORM_REG_H */