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. Jan