[v2,0/2] xen: fix CONFIG_DEBUG_LOCKS

Message

Jürgen Groß Jan. 9, 2020, 1:48 p.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_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(-)