Hello Shanker,
On 27/05/16 16:00, Shanker Donthineni wrote:
The current driver ACPI probe fails on hardware which has GICv4
version, even though it is fully compatible to GICv3. This patch
fixes the issue by registering the same probe function for GICv4
hardware.
Signed-off-by: Shanker Donthineni <shank...@codeaurora.org>
---
Changes since v1:
- Edit commit text.
- Fix BUG() in xen/arch/arm/domain.c
Please see my latest comment on the previous version [1].
To go further, the ACPI tables may not represent the actual hardware. It
is possible to have ACPI tables describing a GICv2 whilst the real
hardware is a GICv3.
Xen will use the GICv2 driver and not the GICv3. So the helper will
return GIC_V2 (and not GIC_V3).
Regards,
[1] https://www.mail-archive.com/xen-devel@lists.xen.org/msg69273.html
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
