Re: [PATCH 2/2] evtchn: Change evtchn port type to evtchn_port_t

[Jan Beulich]

On 23.03.2020 06:35, Yan Yankovskyi wrote:
> struct evtchn_set_priority uses uint32_t type for event channel port.
> Replace the type with evtchn_port_t. Such change is also done in Linux.
> 
> Signed-off-by: Yan Yankovskyi <yyankovskyi@xxxxxxxxx>

Reviewed-by: Jan Beulich <jbeulich@xxxxxxxx>

As a general remark, the order of changes would better be the other way
around: The canonical header in the Xen repo be adjusted first, and the
change then propagated to repos carrying clones.

Thanks, Jan