diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-05-06 16:29:01 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-05-06 16:29:01 +0100 |
commit | 8bcb3b3622a7dc6019cd801fd9581914388ae91e (patch) | |
tree | 5a943c57f2bf9e07e88647c5fd5f12ea00fdf06f /tools/libxc/xc_minios.c | |
parent | 08fe56f0cd8c00e4b3e12874cfc5c98fa7466e3b (diff) | |
download | xen-8bcb3b3622a7dc6019cd801fd9581914388ae91e.tar.gz xen-8bcb3b3622a7dc6019cd801fd9581914388ae91e.tar.bz2 xen-8bcb3b3622a7dc6019cd801fd9581914388ae91e.zip |
minios: let events get mixed
since events do not need to be counted
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
Diffstat (limited to 'tools/libxc/xc_minios.c')
-rw-r--r-- | tools/libxc/xc_minios.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c index 2131ed543e..d5c1b5245c 100644 --- a/tools/libxc/xc_minios.c +++ b/tools/libxc/xc_minios.c @@ -178,7 +178,7 @@ static void evtchn_handler(evtchn_port_t port, struct pt_regs *regs, void *data) 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(int xce_handle) 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; } |