The current vGIC v3 driver doesn't fully implement GICv3 spec:
- GICv3 backward compatibility is not supported (GICD_CTLR.ARE = 0)
- A processor can only access his own redistributor. For buggy
assumption, the current code bank the redistributors MMIO.
Signed-off-by: Julien Grall <julien.gr...@linaro.org>
---
xen/arch/arm/vgic-v3.c | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/xen/arch/arm/vgic-v3.c b/xen/arch/arm/vgic-v3.c
index 1fa1413..9818a6b 100644
--- a/xen/arch/arm/vgic-v3.c
+++ b/xen/arch/arm/vgic-v3.c
@@ -16,6 +16,11 @@
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
+ *
+ * Current limitation of the vGIC v3:
+ * - GICv2 backward compatibility is not supported (GICD_CTRL.ARE = 0)
+ * - A processor can only access his own redistributor. For buggy
+ * assumption, the current code bank the redistributors MMIO
*/
#include <xen/bitops.h>
--
2.1.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
