diff options
Diffstat (limited to 'xen/common/event_channel.c')
| -rw-r--r-- | xen/common/event_channel.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c index 8e3e0d1f64..3993df4bc5 100644 --- a/xen/common/event_channel.c +++ b/xen/common/event_channel.c @@ -386,7 +386,7 @@ static long __evtchn_close(struct domain *d1, int port1) if ( v->virq_to_evtchn[chn1->u.virq] != port1 ) continue; v->virq_to_evtchn[chn1->u.virq] = 0; - spin_barrier(&v->virq_lock); + spin_barrier_irq(&v->virq_lock); } break; |