Am Fri, 7 Sep 2018 12:56:37 -0400
schrieb Boris Ostrovsky <boris.ostrovsky@oracle.com>:

> I was hoping you'd respond to my question about warning.
> 
> root@haswell> xl vcpu-set 3 0  
> and in the guest
> 
> [root@vm-0238 ~]# [   32.866955] ------------[ cut here ]------------
> [   32.866963] spinlock on CPU0 exists on IRQ1!
> [   32.866984] WARNING: CPU: 0 PID: 14 at arch/x86/xen/spinlock.c:90
> xen_init_lock_cpu+0xbf/0xd0

This happens to work for me, on X5550. Please send your .config.

Olaf