Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/trace/trace_snapshot.c tracing_snapshot_write() -> free_snapshot()

Type Parameter Key Value
PARAM_VALUE 0 tr 4096-ptr_max
PARAM_VALUE 0 tr->allocated_snapshot 1
PARAM_VALUE 0 tr->array_buffer.buffer->resizing.counter s32min-s32max
PARAM_VALUE 0 tr->array_buffer.cpu 0
PARAM_VALUE 0 tr->array_buffer.data 0,4096-ptr_max
PARAM_VALUE 0 tr->array_buffer.tr 0,4096-ptr_max
PARAM_VALUE 0 tr->buffer_disabled 0-1
PARAM_VALUE 0 tr->cond_snapshot 0
PARAM_VALUE 0 tr->current_trace 4096-ptr_max
PARAM_VALUE 0 tr->current_trace->use_max_tr 0
PARAM_VALUE 0 tr->d_max_latency 0,4096-ptr_max
PARAM_VALUE 0 tr->filtered_no_pids 0
PARAM_VALUE 0 tr->filtered_pids 0
PARAM_VALUE 0 tr->flags 2-u32max
PARAM_VALUE 0 tr->free_on_close 1
PARAM_VALUE 0 tr->fsnotify_irqwork.node.a_flags.counter 0-s32max
PARAM_VALUE 0 tr->fsnotify_irqwork.node.u_flags 0-s32max
PARAM_VALUE 0 tr->fsnotify_work.data.counter 0
PARAM_VALUE 0 tr->fsnotify_work.entry.prev 0
PARAM_VALUE 0 tr->fsnotify_work.func 0
PARAM_VALUE 0 tr->list.prev 0,69249725370638336,4155991700693118976
PARAM_VALUE 0 tr->max_lock.val.counter 0-s32max
PARAM_VALUE 0 tr->module_delta 0
PARAM_VALUE 0 tr->name 0,4096-ptr_max
PARAM_VALUE 0 tr->range_addr_size 0
PARAM_VALUE 0 tr->range_addr_start 0
PARAM_VALUE 0 tr->range_name 0
PARAM_VALUE 0 tr->ring_buffer_expanded 1
PARAM_VALUE 0 tr->scratch 0,8-u64max
PARAM_VALUE 0 tr->scratch->clock_id 0-4294967295
PARAM_VALUE 0 tr->scratch->nr_entries 0
PARAM_VALUE 0 tr->scratch->text_addr 6850088256125747200
PARAM_VALUE 0 tr->snapshot_buffer.buffer->record_disabled.counter s32min-s32max
PARAM_VALUE 0 tr->snapshot_buffer.buffer->resizing.counter s32min-s32max
PARAM_VALUE 0 tr->snapshot_buffer.data 0,4096-ptr_max
PARAM_VALUE 0 tr->snapshot_buffer.tr 0,69249725370638336
PARAM_VALUE 0 tr->sys_refcount_enter 0
PARAM_VALUE 0 tr->sys_refcount_exit 0
PARAM_VALUE 0 tr->text_delta 0
NOCHECK_CALL
UNITS 0 tr unit_array_size
LOCK2 _T->lock

kernel/trace/trace.c tracing_set_tracer() -> free_snapshot()

Type Parameter Key Value
PARAM_VALUE 0 tr 4096-ptr_max
PARAM_VALUE 0 tr->current_trace 4717834982680629248
PARAM_VALUE 0 tr->current_trace->enabled 0
PARAM_VALUE 0 tr->current_trace->reset 4744706855571279872
PARAM_VALUE 0 tr->current_trace->use_max_tr 0
PARAM_VALUE 0 tr->current_trace_flags 1769190678362054656
PARAM_VALUE 0 tr->dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tr->dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 tr->ring_buffer_expanded 1
PARAM_VALUE 0 tr->trace_ref 0
BUF_SIZE 0 tr s32min-(-1),1-s32max
BUF_SIZE 0 tr s32min-(-1),1-s32max
BUF_SIZE 0 tr->current_trace 168
CAPPED_DATA 0 &tr->tracers 1
DATA_SOURCE 0 tr $0
STR_LEN 0 tr (-1),99
STR_LEN 0 tr (-1),99
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tr->array_buffer.tr->range_addr_size
NO_OVERFLOW_SIMPLE 0 tr->range_addr_size
NO_OVERFLOW_SIMPLE 0 tr->snapshot_buffer.tr->range_addr_size
LOCK2 _T->lock