Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/trace_events_synth.c synth_event_trace() -> __synth_event_trace_end()

Type Parameter Key Value
PARAM_VALUE 0 trace_state 6701042634319327232
PARAM_VALUE 0 trace_state->add_name 0
PARAM_VALUE 0 trace_state->add_next 0
PARAM_VALUE 0 trace_state->buffer 4096-ptr_max
PARAM_VALUE 0 trace_state->disabled 0
PARAM_VALUE 0 trace_state->entry 4096-ptr_max
PARAM_VALUE 0 trace_state->event 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.buffer 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.entry 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.event 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.regs 0
PARAM_VALUE 0 trace_state->fbuffer.trace_ctx 0-16777214
PARAM_VALUE 0 trace_state->fbuffer.trace_file 4096-ptr_max
PARAM_VALUE 0 trace_state->n_u64 0
MEM_ZERO 0 trace_state
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

kernel/trace/trace_events_synth.c synth_event_trace_array() -> __synth_event_trace_end()

Type Parameter Key Value
PARAM_VALUE 0 trace_state 4552312554772905984
PARAM_VALUE 0 trace_state->add_name 0
PARAM_VALUE 0 trace_state->add_next 0
PARAM_VALUE 0 trace_state->buffer 4096-ptr_max
PARAM_VALUE 0 trace_state->disabled 0
PARAM_VALUE 0 trace_state->entry 4096-ptr_max
PARAM_VALUE 0 trace_state->event 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.buffer 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.entry 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.event 4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.regs 0
PARAM_VALUE 0 trace_state->fbuffer.trace_ctx 0-16777214
PARAM_VALUE 0 trace_state->fbuffer.trace_file 4096-ptr_max
PARAM_VALUE 0 trace_state->n_u64 0
MEM_ZERO 0 trace_state
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

kernel/trace/trace_events_synth.c synth_event_trace_end() -> __synth_event_trace_end()

Type Parameter Key Value
PARAM_VALUE 0 trace_state 2690122430897819648,7657139019513876480
PARAM_VALUE 0 trace_state->cur_field 0-2147483648
PARAM_VALUE 0 trace_state->entry 0,4096-ptr_max
PARAM_VALUE 0 trace_state->fbuffer.regs 0
PARAM_VALUE 0 trace_state->fbuffer.trace_ctx 0-16777214
PARAM_VALUE 0 trace_state->n_u64 0
DATA_SOURCE 0 trace_state $0
MEM_ZERO 0 trace_state
NOCHECK_CALL