evtchn: change evtchn port type to evtchn_port_t
authorYan Yankovskyi <yyankovskyi@gmail.com>
Tue, 24 Mar 2020 09:50:38 +0000 (10:50 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 24 Mar 2020 09:50:38 +0000 (10:50 +0100)
commitfdb96c8256422524a9dbc3b26d44c48829cf7029
tree25a9f5f719dbc0ea326b0eb95f55e237082ba778
parentdaed26bb7ff6714e1c2eaa3dc980c4ce4343e307
evtchn: change evtchn port type to evtchn_port_t

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@gmail.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/include/public/event_channel.h