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_gic.h

Migrate __warn_deprecated -> __deprecated

2016-01-14 10:55:17 -08:00

cci400.h

Migrate __warn_deprecated -> __deprecated

2016-01-14 10:55:17 -08:00

cci.h

Use uintptr_t as base address type in ARM driver APIs

2015-07-09 11:53:32 +01:00

ccn.h

CCN: Add API to query the PART0 ID from CCN

2016-05-25 10:24:23 +01:00

gic_common.h

Move private APIs in gic_common.h to a private header

2016-02-09 16:50:36 +00:00

gic_v2.h

Deprecate the GIC Legacy driver.

2015-11-26 12:29:49 +00:00

gic_v3.h

Rework type usage in Trusted Firmware

2016-07-18 17:52:15 +01:00

gicv2.h

Add ARM GICv2 driver

2015-11-26 12:29:48 +00:00

gicv3.h

GICv3: Fix the GICD_IROUTER offset

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

nic_400.h

Separate CSS security setup from SOC security setup

2015-09-11 11:50:26 +01:00

pl011.h

Disable PL011 UART before configuring it

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

pl061_gpio.h

arm: gpio: add pl061 driver

2016-02-12 23:19:48 +08:00

sp804_delay_timer.h

Bug fix in the SP804 dual timer driver

2015-09-28 16:33:00 +01:00

sp805.h

Add a simple ARM SP805 watchdog driver

2015-11-27 09:34:20 +00:00

tzc400.h

Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers

2016-04-12 16:51:39 +01:00

tzc_common.h

Refactor the ARM CoreLink TZC-400 driver

2016-03-31 21:23:23 +01:00

tzc_dmc500.h

Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers

2016-04-12 16:51:39 +01:00