Re: [RFC PATCH 1/3] misra: address 5.5 pirq_cleanup_check

2025-07-29 Thread Stefano Stabellini
On Tue, 29 Jul 2025, Andrew Cooper wrote: > On 29/07/2025 10:24 pm, Dmytro Prokopchuk1 wrote: > > diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c > > index c8c1bfa615..2efb5f5c78 100644 > > --- a/xen/common/event_channel.c > > +++ b/xen/common/event_channel.c > > @@ -672,7 +672

Re: [RFC PATCH 1/3] misra: address 5.5 pirq_cleanup_check

2025-07-29 Thread Andrew Cooper
On 29/07/2025 10:24 pm, Dmytro Prokopchuk1 wrote: > diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c > index c8c1bfa615..2efb5f5c78 100644 > --- a/xen/common/event_channel.c > +++ b/xen/common/event_channel.c > @@ -672,7 +672,7 @@ static int evtchn_bind_pirq(evtchn_bind_pirq_t *

[RFC PATCH 1/3] misra: address 5.5 pirq_cleanup_check

2025-07-29 Thread Dmytro Prokopchuk1
Signed-off-by: Dmytro Prokopchuk --- xen/arch/x86/irq.c| 8 xen/common/event_channel.c| 6 +++--- xen/drivers/passthrough/x86/hvm.c | 8 xen/include/xen/irq.h | 2 +- 4 files changed, 12 insertions(+), 12 deletions(-) diff --git a/xen/arch/x8