hc
2024-05-10 9999e48639b3cecb08ffb37358bcba3b48161b29
kernel/include/xen/interface/event_channel.h
....@@ -220,7 +220,7 @@
220220 #define EVTCHNOP_set_priority 13
221221 struct evtchn_set_priority {
222222 /* IN parameters. */
223
- uint32_t port;
223
+ evtchn_port_t port;
224224 uint32_t priority;
225225 };
226226