xen: Define debug_build() based on NDEBUG. Use it in a few printk's.
authorKeir Fraser <keir@xen.org>
Wed, 30 Jan 2013 10:51:04 +0000 (02:51 -0800)
committerKeir Fraser <keir@xen.org>
Wed, 30 Jan 2013 10:51:04 +0000 (02:51 -0800)
commit3b8e11e853bfa79e220bfcdcdea5047ad22b35e1
treef6ecebdf192de7fb7e5f531c48fd321d0413548c
parent563be9eb8ea34119dbbff7221e7afd0773336761
xen: Define debug_build() based on NDEBUG. Use it in a few printk's.

Signed-off-by: Keir Fraser <keir@xen.org>
xen/arch/arm/traps.c
xen/arch/x86/x86_64/traps.c
xen/drivers/char/console.c
xen/include/xen/lib.h