#include <linux/ftrace.h>

#define CREATE_TRACE_POINTS
#include <trace/events/xen.h>