From fdb96c8256422524a9dbc3b26d44c48829cf7029 Mon Sep 17 00:00:00 2001 From: Yan Yankovskyi Date: Tue, 24 Mar 2020 10:50:38 +0100 Subject: [PATCH] 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 Reviewed-by: Jan Beulich --- xen/include/public/event_channel.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/include/public/event_channel.h b/xen/include/public/event_channel.h index 44c549dd6b..cfb7929fef 100644 --- a/xen/include/public/event_channel.h +++ b/xen/include/public/event_channel.h @@ -307,7 +307,7 @@ typedef struct evtchn_expand_array evtchn_expand_array_t; */ struct evtchn_set_priority { /* IN parameters. */ - uint32_t port; + evtchn_port_t port; uint32_t priority; }; typedef struct evtchn_set_priority evtchn_set_priority_t; -- 2.30.2