/*
 * Copyright © 2017-2021 The Crust Firmware Authors.
 * SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0-only
 */

#ifndef PLATFORM_DEVICES_H
#define PLATFORM_DEVICES_H

#define DEV_DE          0x01000000
#define DEV_DEINTERLACE 0x01400000
#define DEV_SYSCON      0x01c00000
#define DEV_DMA         0x01c02000
#define DEV_NAND        0x01c03000
#define DEV_TSC         0x01c06000
#define DEV_KEYMEM      0x01c0b000
#define DEV_TCON0       0x01c0c000
#define DEV_TCON1       0x01c0d000
#define DEV_VE          0x01c0e000
#define DEV_MMC0        0x01c0f000
#define DEV_MMC1        0x01c10000
#define DEV_MMC2        0x01c11000
#define DEV_SID         0x01c14000
#define DEV_CE          0x01c15000
#define DEV_MSGBOX      0x01c17000
#define DEV_SPINLOCK    0x01c18000
#define DEV_USBOTG      0x01c19000
#define DEV_USB0        0x01c1a000
#define DEV_USB1        0x01c1b000
#define DEV_USB2        0x01c1c000
#define DEV_USB3        0x01c1d000
#define DEV_TZASC       0x01c1e000
#define DEV_CCU         0x01c20000
#define DEV_PIO         0x01c20800
#define DEV_TIMER       0x01c20c00
#define DEV_SPDIF       0x01c21000
#define DEV_PWM         0x01c21400
#define DEV_KEYADC      0x01c21800
#define DEV_I2S0        0x01c22000
#define DEV_I2S1        0x01c22400
#define DEV_I2S2        0x01c22800
#define DEV_CODEC       0x01c22c00
#define DEV_SPC         0x01c23400
#define DEV_THS         0x01c25000
#define DEV_UART0       0x01c28000
#define DEV_UART1       0x01c28400
#define DEV_UART2       0x01c28800
#define DEV_UART3       0x01c28c00
#define DEV_I2C0        0x01c2ac00
#define DEV_I2C1        0x01c2b000
#define DEV_I2C2        0x01c2b400
#define DEV_SCR         0x01c2c400
#define DEV_EMAC        0x01c30000
#define DEV_GPU         0x01c40000
#define DEV_HSTIMER     0x01c60000
#define DEV_DRAMCOM     0x01c62000
#define DEV_DRAMCTL     0x01c63000
#define DEV_DRAMPHY     0x01c65000
#define DEV_SPI0        0x01c68000
#define DEV_SPI1        0x01c69000
#define DEV_SCU         0x01c80000
#define DEV_GICD        0x01c81000
#define DEV_GICC        0x01c82000
#define DEV_CSI         0x01cb0000
#define DEV_TVE         0x01e00000
#define DEV_HDMI        0x01ee0000
#define DEV_RTC         0x01f00000
#define DEV_R_TIMER     0x01f00800
#define DEV_R_INTC      0x01f00c00
#define DEV_R_WDOG      0x01f01000
#define DEV_R_PRCM      0x01f01400
#define DEV_R_TWD       0x01f01800
#define DEV_R_CPUCFG    0x01f01c00
#define DEV_R_CIR_RX    0x01f02000
#define DEV_R_I2C       0x01f02400
#define DEV_R_UART      0x01f02800
#define DEV_R_PIO       0x01f02c00
#define DEV_R_PWM       0x01f03800

#endif /* PLATFORM_DEVICES_H */
