Xen devel - Sep 2013 - [PATCH 4/5] xen/spinlock: Don't setup xen spinlock IPI kicker if disabled.

If this information is useful, please help other people find it:
Share via: