From 3310bbedac497b793b96184e1b9b5da4f747d53a Mon Sep 17 00:00:00 2001
From: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Date: Mon, 26 Aug 2013 14:28:06 -0400
Subject: [PATCH] xen/spinlock: Don't setup xen spinlock IPI kicker if
 disabled.

There is no need to setup this kicker IPI if we are never going
to use the paravirtualized ticketlock mechanism.

Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Reviewed-by: David Vrabel <david.vrabel@citrix.com>
---
Reading git-format-patch failed