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
..
bl1	FWU: Add Generic Firmware Update framework support in BL1	2015-12-09 17:41:18 +00:00
bl31	Introduce PSCI Library Interface	2016-07-19 10:19:01 +01:00
bl32	Enable use of FIQs and IRQs as TSP interrupts	2015-12-04 12:02:12 +00:00
common	Rearrange assembly helper macros	2016-07-19 10:19:08 +01:00
drivers	GICv3: Fix the GICD_IROUTER offset	2016-07-27 10:46:09 +01:00
lib	Introduce PSCI Library Interface	2016-07-19 10:19:01 +01:00
plat	Rework type usage in Trusted Firmware	2016-07-18 17:52:15 +01:00
services	Introduce PSCI Library Interface	2016-07-19 10:19:01 +01:00