linux/arch/x86/xen/trace.c

// SPDX-License-Identifier: GPL-2.0
#include <linux/ftrace.h>
#include <xen/interface/xen.h>
#include <xen/interface/xen-mca.h>

#define HYPERCALL …
static const char *xen_hypercall_names[] = …;
#undef HYPERCALL

static const char *xen_hypercall_name(unsigned op)
{ … }

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