1.1 --- a/xen/include/xen/event.h	Thu Dec 16 15:15:24 2004 +0000
     1.2 +++ b/xen/include/xen/event.h	Thu Dec 16 15:15:47 2004 +0000
     1.3 @@ -59,10 +59,8 @@ static inline void send_guest_virq(struc
     1.4  {
     1.5      int port = ed->virq_to_evtchn[virq];
     1.6  
     1.7 -    /* Always deliver misdirect virq's to exec domain 0. */
     1.8 -    if ( unlikely(port == 0) )
     1.9 -        ed = ed->domain->exec_domain[0];
    1.10 -    evtchn_set_pending(ed, port);
    1.11 +    if ( likely(port != 0) )
    1.12 +        evtchn_set_pending(ed, port);
    1.13  }
    1.14  
    1.15  /*