[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <20200323053503.GA1406@kbp1-lhp-F74019>
Date: Mon, 23 Mar 2020 07:35:03 +0200
From: Yan Yankovskyi <yyankovskyi@...il.com>
To: Boris Ostrovsky <boris.ostrovsky@...cle.com>,
Jan Beulich <jbeulich@...e.com>
Cc: Juergen Gross <jgross@...e.com>,
Stefano Stabellini <sstabellini@...nel.org>,
xen-devel@...ts.xenproject.org, linux-kernel@...r.kernel.org
Subject: [Xen-devel] [PATCH 2/2] 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@...il.com>
---
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.17.1
Powered by blists - more mailing lists