After printing some debug information I see that: SMP alternatives: switching to SMP code (XEN) [ 1.473056] == d1v1 master_cpu 0, lock ffff83018e315ec8 (XEN) [ 1.473120] sched_null.c:344: 1 <-- d1v1 (XEN) [ 1.473165] == d1v1 master_cpu 1, lock ffff8301899c2f48 (XEN) [ 1.473223] Assertion 'lock == get_sched_res(i->res->master_cpu)->schedule_lock' failed at ...are/xen-dir/xen-root/xen/include/xen/sched-if.h:27
The underlying pCPU was changed for that vCPU and hence the per-cpu lock changed as well. Thanks, Sergey _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
