Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/trace_remote.c trace_remote_iter() -> trace_remote_put()

Type Parameter Key Value
PARAM_VALUE 0 remote 4096-ptr_max
PARAM_VALUE 0 remote->cbs->reset 4096-ptr_max
PARAM_VALUE 0 remote->pcpu_reader_locks 0,16,4096-ptr_max
PARAM_VALUE 0 remote->rb_remote.desc 4096-ptr_max
PARAM_VALUE 0 remote->rb_remote.desc->nr_cpus 0-s32max
PARAM_VALUE 0 remote->rb_remote.desc->struct_len 16-4000000
PARAM_VALUE 0 remote->rb_remote.reset 1644223708537741312
PARAM_VALUE 0 remote->rb_remote.swap_reader_page 9212522125699915776
PARAM_VALUE 0 remote->trace_buffer_desc 4096-ptr_max
PARAM_VALUE 0 remote->trace_buffer_desc->nr_cpus 0-s32max
PARAM_VALUE 0 remote->trace_buffer_desc->struct_len 16-4000000
BUF_SIZE 0 remote s32min-(-2),1-s32max
BUF_SIZE 0 remote s32min-(-2),1-s32max
DATA_SOURCE 0 remote $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 remote unit_array_size
LOCK2 _T->lock

kernel/trace/trace_remote.c trace_remote_iter_free() -> trace_remote_put()

Type Parameter Key Value
BUF_SIZE 0 remote s32min-(-1),1-s32max
BUF_SIZE 0 remote s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 remote unit_array_size
LOCK2 _T->lock