/* a flag recording whether initialization has been done */
/* or more properly, if the tbuf subsystem is enabled right now */
-int tb_init_done __read_mostly;
+bool __read_mostly tb_init_done;
/* which CPUs tracing is enabled on */
static cpumask_t tb_cpu_mask;
#ifndef __XEN_TRACE_H__
#define __XEN_TRACE_H__
-/* Put 'tb_init_done' here because 'asm/trace.h' may use it */
-#ifdef CONFIG_TRACEBUFFER
-extern int tb_init_done;
-#else
-#define tb_init_done false
-#endif
-
#include <xen/types.h>
#include <public/sysctl.h>
#include <public/trace.h>
-#include <asm/trace.h>
#ifdef CONFIG_TRACEBUFFER
+
+extern bool tb_init_done;
+
/* Used to initialise trace buffer functionality */
void init_trace_bufs(void);
#include <xen/errno.h>
+#define tb_init_done false
+
static inline void init_trace_bufs(void) {}
static inline int tb_control(struct xen_sysctl_tbuf_op *tbc)
{