hc
2024-02-20 102a0743326a03cd1a1202ceda21e175b7d3575c
kernel/drivers/xen/evtchn.c
....@@ -83,7 +83,7 @@
8383 struct user_evtchn {
8484 struct rb_node node;
8585 struct per_user_data *user;
86
- unsigned port;
86
+ evtchn_port_t port;
8787 bool enabled;
8888 };
8989
....@@ -138,7 +138,8 @@
138138 kfree(evtchn);
139139 }
140140
141
-static struct user_evtchn *find_evtchn(struct per_user_data *u, unsigned port)
141
+static struct user_evtchn *find_evtchn(struct per_user_data *u,
142
+ evtchn_port_t port)
142143 {
143144 struct rb_node *node = u->evtchns.rb_node;
144145
....@@ -163,7 +164,7 @@
163164 struct per_user_data *u = evtchn->user;
164165
165166 WARN(!evtchn->enabled,
166
- "Interrupt for port %d, but apparently not enabled; per-user %p\n",
167
+ "Interrupt for port %u, but apparently not enabled; per-user %p\n",
167168 evtchn->port, u);
168169
169170 evtchn->enabled = false;
....@@ -285,7 +286,7 @@
285286 mutex_lock(&u->bind_mutex);
286287
287288 for (i = 0; i < (count/sizeof(evtchn_port_t)); i++) {
288
- unsigned port = kbuf[i];
289
+ evtchn_port_t port = kbuf[i];
289290 struct user_evtchn *evtchn;
290291
291292 evtchn = find_evtchn(u, port);
....@@ -360,7 +361,7 @@
360361 return 0;
361362 }
362363
363
-static int evtchn_bind_to_user(struct per_user_data *u, int port)
364
+static int evtchn_bind_to_user(struct per_user_data *u, evtchn_port_t port)
364365 {
365366 struct user_evtchn *evtchn;
366367 struct evtchn_close close;
....@@ -422,7 +423,7 @@
422423
423424 static DEFINE_PER_CPU(int, bind_last_selected_cpu);
424425
425
-static void evtchn_bind_interdom_next_vcpu(int evtchn)
426
+static void evtchn_bind_interdom_next_vcpu(evtchn_port_t evtchn)
426427 {
427428 unsigned int selected_cpu, irq;
428429 struct irq_desc *desc;
....@@ -663,7 +664,7 @@
663664
664665 filp->private_data = u;
665666
666
- return nonseekable_open(inode, filp);
667
+ return stream_open(inode, filp);
667668 }
668669
669670 static int evtchn_release(struct inode *inode, struct file *filp)