[Xen-devel] [PATCH v2 0/2] xen: fix CONFIG_DEBUG_LOCKS

[Juergen Gross <jgross@xxxxxxxx>]

CONFIG_DEBUG_LOCKS is using ASSERT() for catching issues making it
depend on CONFIG_DEBUG.

This series fixes that by using BUG_ON() instead. In order not to lose
the rather nice debugging information which condition was hit add a
config option to include a message similar to the one ASSERT() is
printing in case of BUG_OM() triggering.

Juergen Gross (2):
  xen: add config option to include failing condition in BUG_ON()
    message
  xen: make CONFIG_DEBUG_LOCKS usable without CONFIG_DEBUG

 xen/Kconfig.debug         | 6 ++++++
 xen/common/spinlock.c     | 2 +-
 xen/include/asm-x86/bug.h | 5 +++--
 xen/include/xen/lib.h     | 5 +++++
 4 files changed, 15 insertions(+), 3 deletions(-)

-- 
2.16.4


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel