>>> On 09.06.15 at 17:17, wrote:
> On 09/06/15 15:59, David Vrabel wrote:
>> @@ -243,6 +248,30 @@ static long evtchn_alloc_unbound(evtchn_alloc_unbound_t
>> *alloc)
>> }
>>
>>
>> +static void double_evtchn_lock(struct domain *ld, struct evtchn *lchn,
>> + struct
On 09/06/15 15:59, David Vrabel wrote:
> When sending an event, use a new per-event channel lock to safely
> validate the event channel state.
>
> This new lock must be held when changing event channel state.
>
> To avoid having to take the remote event channel locks when sending to
> an interdomai
When sending an event, use a new per-event channel lock to safely
validate the event channel state.
This new lock must be held when changing event channel state.
To avoid having to take the remote event channel locks when sending to
an interdomain event channel, the local and remote channel locks
