Hi Jan,
> On 5 Jul 2022, at 3:56 pm, Jan Beulich <jbeul...@suse.com> wrote: > > On 22.06.2022 16:37, Rahul Singh wrote: >> Event channel support will be added for dom0less domains to allocate >> static event channel. It is necessary to have access to the >> evtchn_bind_interdomain function to do that, so make >> evtchn_bind_interdomain global and also make it __must_check. >> >> Signed-off-by: Rahul Singh <rahul.si...@arm.com> > > In light of MISRA I don't think this should be a separate change. I will merge patch #1 #3 and #4 in next version. Regards, Rahul