Re: [PATCH 2/2] evtchn: Change evtchn port type to evtchn_port_t
From: Jan Beulich
Date: Mon Mar 23 2020 - 03:49:48 EST
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