__tracepoint_string
static const char *ipi_types[NR_IPI] __tracepoint_string = {
static const char *ipi_types[MAX_IPI] __tracepoint_string = {
static const char *ipi_types[NR_IPI] __tracepoint_string = {
static const char *___tp_str __tracepoint_string = str; \
static const char *tp_rcu_varname __used __tracepoint_string = rcu_name;