portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

hikey: Add the rest of the dual timers for hi6220

Browse source
This commit is contained in:
Kofi Doku Atuah 2017-02-01 11:17:46 +11:00
parent 6f953bf826
commit 3cfcb676bc
2 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
include/plat/hikey/plat/machine/devices.h
View file

@ -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

8
include/plat/hikey/plat/machine/hardware.h
View file

@ -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. */