trace_user_buf_info
static struct trace_user_buf_info *trace_user_buffer;
void trace_user_fault_destroy(struct trace_user_buf_info *tinfo)
static int user_fault_buffer_enable(struct trace_user_buf_info *tinfo, size_t size)
static void user_buffer_free(struct trace_user_buf_info **tinfo)
static int user_buffer_init(struct trace_user_buf_info **tinfo, size_t size)
static void user_buffer_put(struct trace_user_buf_info **tinfo)
int trace_user_fault_init(struct trace_user_buf_info *tinfo, size_t size)
int trace_user_fault_get(struct trace_user_buf_info *tinfo)
int trace_user_fault_put(struct trace_user_buf_info *tinfo)
char *trace_user_fault_read(struct trace_user_buf_info *tinfo,
int trace_user_fault_init(struct trace_user_buf_info *tinfo, size_t size);
int trace_user_fault_get(struct trace_user_buf_info *tinfo);
int trace_user_fault_put(struct trace_user_buf_info *tinfo);
void trace_user_fault_destroy(struct trace_user_buf_info *tinfo);
char *trace_user_fault_read(struct trace_user_buf_info *tinfo,
struct trace_user_buf_info buf;