From 9b1a31922ac066ef0dffe36ebd6a6ba016567d69 Mon Sep 17 00:00:00 2001 From: Amit Singh Tomar Date: Sun, 23 Jun 2019 18:26:31 +0530 Subject: [PATCH] xen/arm: domain_build: Black list devices using PPIs Currently, the vGIC is not able to cope with hardware PPIs routed to guests. One of the solutions to this problem is to skip any device that uses PPI source completely while building the domain itself. This patch goes through all the interrupt sources of a device and skip it if one of the interrupts sources is a PPI. It fixes XEN boot on i.MX8MQ by skipping the PMU node. Suggested-by: Julien Grall Signed-off-by: Amit Singh Tomar Acked-by: Julien Grall --- xen/arch/arm/domain_build.c | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c index d9836779d1..16ce5222ca 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -1353,7 +1353,7 @@ static int __init handle_node(struct domain *d, struct kernel_info *kinfo, { /* sentinel */ }, }; struct dt_device_node *child; - int res; + int res, i, nirq, irq_id; const char *name; const char *path; @@ -1399,6 +1399,24 @@ static int __init handle_node(struct domain *d, struct kernel_info *kinfo, return 0; } + /* + * The vGIC does not support routing hardware PPIs to guest. So + * we need to skip any node using PPIs. + */ + nirq = dt_number_of_irq(node); + + for ( i = 0 ; i < nirq ; i++ ) + { + irq_id = platform_get_irq(node, i); + + /* PPIs ranges from ID 16 to 31 */ + if ( irq_id >= 16 && irq_id < 32 ) + { + dt_dprintk(" Skip it (using PPIs)\n"); + return 0; + } + } + /* * Xen is using some path for its own purpose. Warn if a node * already exists with the same path. -- 2.30.2