evtchn: profile event channel lock

The per-domain event channel lock may suffer from contention.  Add it to
the set of locks to be profiled when lock profiling is enabled.

Signed-off-by: David Vrabel <david.vrabel@citrix.com>

diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c
index fae242daff0cbefeaddc86ddc51f9b9419440b3d..bf9b2f8ecd6016c27a1151954fd042a64ac875e7 100644 (file)
--- a/xen/common/event_channel.c
+++ b/xen/common/event_channel.c
@@ -1251,7 +1251,7 @@ int evtchn_init(struct domain *d)
     if ( !d->evtchn )
         return -ENOMEM;
 
-    spin_lock_init(&d->event_lock);
+    spin_lock_init_prof(d, event_lock);
     if ( get_free_port(d) != 0 )
     {
         free_evtchn_bucket(d, d->evtchn);