trace_user_fault_destroy
trace_user_fault_destroy(*tinfo);
trace_user_fault_destroy(tinfo);
void trace_user_fault_destroy(struct trace_user_buf_info *tinfo);
trace_user_fault_destroy(&sbuf->buf);