diff options
Diffstat (limited to 'xen/common/event_channel.c')
-rw-r--r-- | xen/common/event_channel.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c index f7a0e87bc7..006d5eca3a 100644 --- a/xen/common/event_channel.c +++ b/xen/common/event_channel.c @@ -387,8 +387,7 @@ static long __evtchn_close(struct domain *d1, int port1) break; case ECS_PIRQ: - if ( pirq_guest_unbind(d1, chn1->u.pirq) != 0 ) - BUG(); + pirq_guest_unbind(d1, chn1->u.pirq); d1->pirq_to_evtchn[chn1->u.pirq] = 0; break; |