{
char taint_str[TAINT_STRING_MAX_LEN];
- printk("----[ Xen-%d.%d%s %s debug=%c %s ]----\n",
+ printk("----[ Xen-%d.%d%s %s debug=%c " gcov_string " %s ]----\n",
xen_major_version(), xen_minor_version(), xen_extra_version(),
#ifdef CONFIG_ARM_32
"arm32",
{
char taint_str[TAINT_STRING_MAX_LEN];
- printk("----[ Xen-%d.%d%s x86_64 debug=%c %s ]----\n",
+ printk("----[ Xen-%d.%d%s x86_64 debug=%c " gcov_string " %s ]----\n",
xen_major_version(), xen_minor_version(), xen_extra_version(),
debug_build() ? 'y' : 'n', print_tainted(taint_str));
}
spin_lock(&console_lock);
__putstr(xen_banner());
spin_unlock(&console_lock);
- printk("Xen version %d.%d%s (%s@%s) (%s) debug=%c %s\n",
+ printk("Xen version %d.%d%s (%s@%s) (%s) debug=%c " gcov_string " %s\n",
xen_major_version(), xen_minor_version(), xen_extra_version(),
xen_compile_by(), xen_compile_domain(),
xen_compiler(), debug_build() ? 'y' : 'n', xen_compile_date());
#define BUILD_BUG_ON(cond) ((void)BUILD_BUG_ON_ZERO(cond))
#endif
+#ifdef CONFIG_GCOV
+#define gcov_string "gcov=y"
+#else
+#define gcov_string ""
+#endif
+
#ifndef NDEBUG
#define ASSERT(p) \
do { if ( unlikely(!(p)) ) assert_failed(#p); } while (0)