Hello,
> Could we instead try to automatically blacklist any device using PPI?
Just tested following change:
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index d983677..0c82976 100644
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -1289,6 +1289,10 @@ static int __init handle_device(struct domain
*d, struct dt_device_node *dev,
return res;
}
+ /* Don't process device using PPI source */
+ if ( res > 16 && res < 32)
+ return 0;
+
res = map_irq_to_domain(d, res, need_mapping, dt_node_name(dev));
if ( res )
return res;
Would it be Ok ?
Thanks,
-Amit
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
