[Xen-devel] [PATCH 0/3] xen/arm: Rework the way to allocate event channel IRQ for hwdom

[julien.grall@xxxxxxx]

From: Julien Grall <julien.grall@xxxxxxx>

Hi all,

This patch series was triggered by commit 11e7dd958d "xen/arm: domain_builder:
irq sanity check logic fix" that is valid but break some assumption in the
current Xen. Rather than removing a useful BUG_ON(), this series rework
the event channel IRQ allocation for the hardware domain.

The last patch of the series will reinstance commit 11e7dd958d.

Cheers,

Julien Grall (2):
  xen/arm: domain_build: Prepare DTB/ACPI tables after specific mappings
  xen/arm: domain_build: Rework the way to allocate the event channel
    interrupt

Stewart Hildebrand (1):
  xen/arm: domain_builder: irq sanity check logic fix

 xen/arch/arm/domain_build.c | 95 ++++++++++++++++++++++-----------------------
 1 file changed, 46 insertions(+), 49 deletions(-)

-- 
2.11.0


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel