[PATCH] arm64: dts: marvell: add Device Tree files for Armada-8KP

On Wed, Aug 09 2017 at  9:29:25 am BST, Hanna Hawa [off-list ref] wrote:

On 08/08/2017 04:06 PM, Marc Zyngier wrote:

quoted

On 08/08/17 13:31, hannah at marvell.com wrote:

[...]

quoted

quoted

+				ranges;
+
+				reg = <0x3000000 0x10000>,     /* GICD */
+				      <0x3060000 0x100000>;    /* GICR */

Where is the GICv2 compatibility region (GICV)that is provided by each
A72 cores? It should be at PERIPHBASE+0x20000 (see
http://infocenter.arm.com/help/topic/com.arm.doc.100095_0003_06_en/way1382452674438.html).

Currently virtualization out of our focus, I add GICV region & it not
tested.

To be completely blunt, this is a bit out of your hands. The HW exists
(it is part of the Cortex-A72 core), and it should be described. If it
doesn't work for one reason or another, then this is a defect and we
should treat it as such.

Also, you do describe the maintenance interrupt, whose sole purpose is
to support virtualization.

Thanks,

	M.
-- 
Jazz is not dead. It just smells funny.