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
..
cci	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
cci400	Fix debug assertion in deprecated CCI-400 driver	2015-10-12 10:21:55 +01:00
ccn	Rework type usage in Trusted Firmware	2016-07-18 17:52:15 +01:00
gic	GICv3: Fix the GICD_IROUTER offset	2016-07-27 10:46:09 +01:00
pl011	Fix potential deadlock in PL011 init function	2016-02-24 10:05:11 +00:00
pl061	arm: gpio: add pl061 driver	2016-02-12 23:19:48 +08:00
sp804	Add SP804 delay timer driver	2015-06-18 16:06:26 +01:00
sp805	Add a simple ARM SP805 watchdog driver	2015-11-27 09:34:20 +00:00
tzc	Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers	2016-04-12 16:51:39 +01:00
tzc400	Refactor the ARM CoreLink TZC-400 driver	2016-03-31 21:23:23 +01:00