[v3,0/2] xen: fix CONFIG_DEBUG_LOCKS

Message

Jürgen Groß Jan. 21, 2020, 10:12 a.m. UTC

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_ON() 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         | 8 +++++++-
 xen/common/spinlock.c     | 2 +-
 xen/include/asm-arm/bug.h | 6 ++++--
 xen/include/asm-x86/bug.h | 5 +++--
 xen/include/xen/lib.h     | 4 ++++
 5 files changed, 19 insertions(+), 6 deletions(-)