On 12/01/15 11:42, Jan Beulich wrote:
On 12.01.15 at 12:33, wrote:
>> On 12/01/15 08:57, Jan Beulich wrote:
>>> --- a/xen/include/xen/event.h
>>> +++ b/xen/include/xen/event.h
>>> @@ -152,10 +152,11 @@ static inline void evtchn_port_init(stru
>>> d->evtchn_port_ops->init(d, evtchn);
>>> On 12.01.15 at 12:33, wrote:
> On 12/01/15 08:57, Jan Beulich wrote:
>> --- a/xen/include/xen/event.h
>> +++ b/xen/include/xen/event.h
>> @@ -152,10 +152,11 @@ static inline void evtchn_port_init(stru
>> d->evtchn_port_ops->init(d, evtchn);
>> }
>>
>> -static inline void evtchn_por
On 12/01/15 08:57, Jan Beulich wrote:
> --- a/xen/include/xen/event.h
> +++ b/xen/include/xen/event.h
> @@ -152,10 +152,11 @@ static inline void evtchn_port_init(stru
> d->evtchn_port_ops->init(d, evtchn);
> }
>
> -static inline void evtchn_port_set_pending(struct vcpu *v,
> +static inl
On 12/01/15 08:57, Jan Beulich wrote:
> The trivial wrapper evtchn_set_pending() is pretty pointless, as it
> only serves to invoke another wrapper evtchn_port_set_pending(). In
> turn, the latter is kind of inconsistent with its siblings in that is
> takes a struct vcpu * rather than a struct doma