Soby Mathew 61e3027719 GICv3: Fix the GICD_IROUTER offset ...

This patch fixes the offset of GICD_IROUTER register defined in gicv3.h.
Although the GICv3 documention mentions that the offset for this register
is 0x6100-0x7FD8, the offset calculation for an interrupt id `n` is :

   0x6000 + 8n, where n >= 32

This requires the offset for GICD_IROUTER to be defined as 0x6000.

Fixes ARM-software/tf-issues#410

Change-Id: If9e91e30d946afe7f1f60fea4f065c7567093fa8

2016-07-27 10:46:09 +01:00

..

arm

GICv3: Fix the GICD_IROUTER offset

2016-07-27 10:46:09 +01:00

auth

TBB: add non-volatile counter support

2016-03-31 13:29:17 +01:00

cadence

drivers: Add Cadence UART driver

2016-04-01 11:43:45 -07:00

io

Merge pull request #629 from ljerry/tf_issue_398

2016-06-13 13:50:58 +01:00

ti/uart

Driver for 16550 UART interface

2015-05-29 11:25:20 +05:30

console.h

Introduce console_uninit() API in ARM Trusted Firmware

2015-12-09 16:38:29 +00:00

delay_timer.h

Fix SP804 delay timer on FVP

2015-12-04 10:23:33 +00:00

emmc.h

drivers: add emmc stack

2016-04-27 18:52:51 +08:00

generic_delay_timer.h

Implement generic delay timer

2016-05-20 15:29:30 +01:00

gpio.h

gpio: support gpio set/get pull status

2016-05-27 09:39:56 +08:00