tracepoint_id_to_name
char *str = tracepoint_id_to_name(id);
char *tracepoint_id_to_name(u64 config);