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

[STYLE_FIX]

Browse source
This commit is contained in:
Bamboo 2017-10-03 01:18:48 +00:00
parent 383a6d959f
commit 3b84ab41e0
1 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
include/plat/zynqmp/plat/machine/hardware.h
View file

@ -62,16 +62,16 @@ const p_region_t BOOT_RODATA avail_p_regs[] = {
};
const p_region_t BOOT_RODATA dev_p_regs[] = {
{ /* .start = */ UART0_PADDR , /* .end = */ UART0_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ UART1_PADDR , /* .end = */ UART1_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC0_PADDR , /* .end = */ TTC0_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC1_PADDR , /* .end = */ TTC1_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC2_PADDR , /* .end = */ TTC2_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC3_PADDR , /* .end = */ TTC3_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ ACPU_GIC_PADDR , /* .end = */ ACPU_GIC_PADDR + ( 0x71000)},
{ /* .start = */ I2C0_PADDR , /* .end = */ I2C0_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ I2C1_PADDR , /* .end = */ I2C1_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ GPIO_PADDR , /* .end = */ GPIO_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ UART0_PADDR , /* .end = */ UART0_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ UART1_PADDR , /* .end = */ UART1_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC0_PADDR , /* .end = */ TTC0_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC1_PADDR , /* .end = */ TTC1_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC2_PADDR , /* .end = */ TTC2_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ TTC3_PADDR , /* .end = */ TTC3_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ ACPU_GIC_PADDR , /* .end = */ ACPU_GIC_PADDR + ( 0x71000)},
{ /* .start = */ I2C0_PADDR , /* .end = */ I2C0_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ I2C1_PADDR , /* .end = */ I2C1_PADDR + ( 1 << PAGE_BITS)},
{ /* .start = */ GPIO_PADDR , /* .end = */ GPIO_PADDR + ( 1 << PAGE_BITS)},
};
/* Handle a platform-reserved IRQ. */