enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 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