disable kernel build waring

hc

2024-05-10 093a6c67005148ae32a5c9e4553491b9f5c2457b

 kernel/include/xen/interface/event_channel.h
..
..
@@ -220,7 +220,7 @@
220
220
 #define EVTCHNOP_set_priority    13
221
221
 struct evtchn_set_priority {
222
222
 	/* IN parameters. */
223
-	uint32_t port;
223
+	evtchn_port_t port;
224
224
 	uint32_t priority;
225
225
 };
226
226