>>> On 31.10.17 at 11:49, <andrew.coop...@citrix.com> wrote:
> --- a/xen/common/spinlock.c
> +++ b/xen/common/spinlock.c
> @@ -44,7 +44,13 @@ static void check_lock(struct lock_debug *debug)
> if ( unlikely(debug->irq_safe != irq_safe) )
> {
> int seen = cmpxchg(&debug->irq_safe, -1, irq_safe);
> - BUG_ON(seen == !irq_safe);
> +
> + if ( seen == !irq_safe )
> + {
> + printk("CHECKLOCK FAILURE: prev irqsafe: %d, curr irqsafe %d\n",
> + seen, irq_safe);
> + BUG();
This really should use XENLOG_ERR imo, so that the message won't
be lost if warnings are rate limited.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
