Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

samples/ftrace/sample-trace-array.c sample_trace_array_exit() -> trace_array_destroy()

Type Parameter Key Value
NOCHECK_CALL

samples/ftrace/sample-trace-array.c sample_trace_array_init() -> trace_array_destroy()

Type Parameter Key Value
PARAM_VALUE 0 this_tr 4096-ptr_max
PARAM_VALUE 0 this_tr->ref s32min-s32max
BUF_SIZE 0 this_tr (-1),8568
BUF_SIZE 0 this_tr (-1),8568
CAPPED_DATA 0 this_tr 1
DATA_SOURCE 0 this_tr r trace_array_get_by_name
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 this_tr->array_buffer.tr->range_addr_size
NO_OVERFLOW_SIMPLE 0 this_tr->range_addr_size
NO_OVERFLOW_SIMPLE 0 this_tr->snapshot_buffer.tr->range_addr_size

kernel/trace/trace.c trace_array_autoremove() -> trace_array_destroy()

Type Parameter Key Value
PARAM_VALUE 0 this_tr 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock