[Xen-changelog] [xen master] evtchn: change evtchn port type to evtchn_port_t

[patchbot@xxxxxxx]

commit fdb96c8256422524a9dbc3b26d44c48829cf7029
Author:     Yan Yankovskyi <yyankovskyi@xxxxxxxxx>
AuthorDate: Tue Mar 24 10:50:38 2020 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue Mar 24 10:50:38 2020 +0100

    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@xxxxxxxxx>
    Reviewed-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 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;
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog