minios: let events get mixed
since events do not need to be counted
diff -r 66fdf958c6fc -r 20945f11bf10 tools/libxc/xc_minios.c
--- a/tools/libxc/xc_minios.c Tue May 06 12:07:32 2008 +0100
+++ b/tools/libxc/xc_minios.c Tue May 06 15:40:02 2008 +0100
@@ -178,7 +178,7 @@ static void evtchn_handler(evtchn_port_t
printk("Unknown port for handle %d\n", xce_handle);
return;
}
- files[xce_handle].evtchn.ports[i].pending++;
+ files[xce_handle].evtchn.ports[i].pending = 1;
files[xce_handle].read = 1;
wake_up(&event_queue);
}
@@ -278,7 +278,7 @@ evtchn_port_or_error_t xc_evtchn_pending
for (i = 0; i < MAX_EVTCHN_PORTS; i++) {
evtchn_port_t port = files[xce_handle].evtchn.ports[i].port;
if (port != -1 && files[xce_handle].evtchn.ports[i].pending) {
- files[xce_handle].evtchn.ports[i].pending--;
+ files[xce_handle].evtchn.ports[i].pending = 0;
local_irq_restore(flags);
return port;
}
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel