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

Allow dynamic overriding of ROTPK verification

2016-06-03 18:27:36 +01:00

cadence/uart

drivers: Add Cadence UART driver

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

console

Disable PL011 UART before configuring it

2016-01-21 17:27:47 +00:00

delay_timer

Implement generic delay timer

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

emmc

drivers: add emmc stack

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

gpio

gpio: support gpio set/get pull status

2016-05-27 09:39:56 +08: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