change wifi driver to cypress

hc

2024-01-05 071106ecf68c401173c58808b1cf5f68cc50d390

 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