GICv3: Fix the GICD_IROUTER offset
authorSoby Mathew <soby.mathew@arm.com>
Tue, 26 Jul 2016 16:46:56 +0000 (17:46 +0100)
committerSoby Mathew <soby.mathew@arm.com>
Wed, 27 Jul 2016 09:46:09 +0000 (10:46 +0100)
commit61e30277199e5457483bef791cb5bc026c402a1f
tree0ac84a44f665d3ededfaeb5a6785315f29869809
parent3dd9835f8ab3c2e7f57ddc92505d6c800bbacd47
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
drivers/arm/gic/v3/gicv3_private.h
include/drivers/arm/gicv3.h