ia64/xen-unstable

changeset 17587:9d84c12de877

minios: let events get mixed
since events do not need to be counted

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Tue May 06 16:29:01 2008 +0100 (2008-05-06)
parents cc953475ab14
children 892ae66ed82f
files tools/libxc/xc_minios.c
line diff
     1.1 --- a/tools/libxc/xc_minios.c	Tue May 06 16:20:54 2008 +0100
     1.2 +++ b/tools/libxc/xc_minios.c	Tue May 06 16:29:01 2008 +0100
     1.3 @@ -178,7 +178,7 @@ static void evtchn_handler(evtchn_port_t
     1.4  	printk("Unknown port for handle %d\n", xce_handle);
     1.5  	return;
     1.6      }
     1.7 -    files[xce_handle].evtchn.ports[i].pending++;
     1.8 +    files[xce_handle].evtchn.ports[i].pending = 1;
     1.9      files[xce_handle].read = 1;
    1.10      wake_up(&event_queue);
    1.11  }
    1.12 @@ -278,7 +278,7 @@ evtchn_port_or_error_t xc_evtchn_pending
    1.13      for (i = 0; i < MAX_EVTCHN_PORTS; i++) {
    1.14  	evtchn_port_t port = files[xce_handle].evtchn.ports[i].port;
    1.15  	if (port != -1 && files[xce_handle].evtchn.ports[i].pending) {
    1.16 -	    files[xce_handle].evtchn.ports[i].pending--;
    1.17 +	    files[xce_handle].evtchn.ports[i].pending = 0;
    1.18  	    local_irq_restore(flags);
    1.19  	    return port;
    1.20  	}