Re: [PATCH v4 0/5] Xen INTX/GSI event channel delivery fixes

2021-01-13 Thread Jürgen Groß
On 13.01.21 14:26, David Woodhouse wrote: Fix various breakages with INTX/GSI event channel interrupt delivery, and add a command line option to test it so that it hopefully doesn't get so broken again. Karim attempted to rip this out in 2017 but put it back because it's still necessary with old

[PATCH v4 0/5] Xen INTX/GSI event channel delivery fixes

2021-01-13 Thread David Woodhouse
Fix various breakages with INTX/GSI event channel interrupt delivery, and add a command line option to test it so that it hopefully doesn't get so broken again. Karim attempted to rip this out in 2017 but put it back because it's still necessary with older versions of Xen. This fixes it properly,