trace_print_symbols_seq_u64
const char *trace_print_symbols_seq_u64(struct trace_seq *p,
trace_print_symbols_seq_u64(p, value, symbols); \
EXPORT_SYMBOL(trace_print_symbols_seq_u64);