diff --git a/include/plat/hikey/plat/machine/devices.h b/include/plat/hikey/plat/machine/devices.h index 5958bfd50..83e113774 100644 --- a/include/plat/hikey/plat/machine/devices.h +++ b/include/plat/hikey/plat/machine/devices.h @@ -39,6 +39,14 @@ #define RTC0_PADDR 0xF8003000 #define RTC1_PADDR 0xF8004000 #define DMTIMER0_PADDR 0xF8008000 +#define DMTIMER1_PADDR 0xF8009000 +#define DMTIMER2_PADDR 0xF800A000 +#define DMTIMER3_PADDR 0xF800B000 +#define DMTIMER4_PADDR 0xF800C000 +#define DMTIMER5_PADDR 0xF800D000 +#define DMTIMER6_PADDR 0xF800E000 +#define DMTIMER7_PADDR 0xF800F000 +#define DMTIMER8_PADDR 0xF8010000 #endif diff --git a/include/plat/hikey/plat/machine/hardware.h b/include/plat/hikey/plat/machine/hardware.h index f6eddc4a4..6eae0b86e 100755 --- a/include/plat/hikey/plat/machine/hardware.h +++ b/include/plat/hikey/plat/machine/hardware.h @@ -61,6 +61,14 @@ static const p_region_t BOOT_RODATA dev_p_regs[] = { { /* .start = */ RTC0_PADDR, /* .end = */ RTC0_PADDR + (1 << PAGE_BITS) }, { /* .start = */ RTC1_PADDR, /* .end = */ RTC1_PADDR + (1 << PAGE_BITS) }, { /* .start = */ DMTIMER0_PADDR, /* .end = */ DMTIMER0_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER1_PADDR, /* .end = */ DMTIMER1_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER2_PADDR, /* .end = */ DMTIMER2_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER3_PADDR, /* .end = */ DMTIMER3_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER4_PADDR, /* .end = */ DMTIMER4_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER5_PADDR, /* .end = */ DMTIMER5_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER6_PADDR, /* .end = */ DMTIMER6_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER7_PADDR, /* .end = */ DMTIMER7_PADDR + (1 << PAGE_BITS) }, + { /* .start = */ DMTIMER8_PADDR, /* .end = */ DMTIMER8_PADDR + (1 << PAGE_BITS) }, }; /* Handle a platform-reserved IRQ. */