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_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->flags | 1-u64max |
| PARAM_VALUE | 1 | trace_state | 6701042634319327232 |
| PARAM_VALUE | 1 | trace_state->add_name | 0 |
| PARAM_VALUE | 1 | trace_state->add_next | 0 |
| PARAM_VALUE | 1 | trace_state->buffer | 0 |
| PARAM_VALUE | 1 | trace_state->disabled | 0 |
| PARAM_VALUE | 1 | trace_state->entry | 0 |
| PARAM_VALUE | 1 | trace_state->event | 4096-ptr_max |
| PARAM_VALUE | 1 | trace_state->fbuffer.buffer | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.entry | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.event | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.regs | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.trace_ctx | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.trace_file | 0 |
| PARAM_VALUE | 1 | trace_state->n_u64 | 0 |
| DATA_SOURCE | 0 | file | $0 |
| STR_LEN | 0 | file | 8 |
| STR_LEN | 0 | file | 8 |
| MEM_ZERO | 1 | trace_state |
kernel/trace/trace_events_synth.c synth_event_trace_array() -> __synth_event_trace_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->event_call | 4096-ptr_max |
| PARAM_VALUE | 0 | file->event_call->class | 4096-ptr_max |
| PARAM_VALUE | 0 | file->event_call->class->reg | 1-u64max |
| PARAM_VALUE | 0 | file->flags | 1-u64max |
| PARAM_VALUE | 0 | file->tr | 4096-ptr_max |
| PARAM_VALUE | 1 | trace_state | 4552312554772905984 |
| PARAM_VALUE | 1 | trace_state->add_name | 0 |
| PARAM_VALUE | 1 | trace_state->add_next | 0 |
| PARAM_VALUE | 1 | trace_state->buffer | 0 |
| PARAM_VALUE | 1 | trace_state->disabled | 0 |
| PARAM_VALUE | 1 | trace_state->entry | 0 |
| PARAM_VALUE | 1 | trace_state->event | 4096-ptr_max |
| PARAM_VALUE | 1 | trace_state->fbuffer.buffer | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.entry | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.event | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.regs | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.trace_ctx | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.trace_file | 0 |
| PARAM_VALUE | 1 | trace_state->n_u64 | 0 |
| CAPPED_DATA | 0 | file->event_call | 1 |
| DATA_SOURCE | 0 | file | $0 |
| MEM_ZERO | 1 | trace_state |
kernel/trace/trace_events_synth.c synth_event_trace_start() -> __synth_event_trace_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->flags | 1-u64max |
| PARAM_VALUE | 1 | trace_state | 2690122430897819648,7657139019513876480 |
| PARAM_VALUE | 1 | trace_state->add_name | 0 |
| PARAM_VALUE | 1 | trace_state->add_next | 0 |
| PARAM_VALUE | 1 | trace_state->buffer | 0 |
| PARAM_VALUE | 1 | trace_state->cur_field | 0 |
| PARAM_VALUE | 1 | trace_state->disabled | 0 |
| PARAM_VALUE | 1 | trace_state->entry | 0 |
| PARAM_VALUE | 1 | trace_state->event | 4096-ptr_max |
| PARAM_VALUE | 1 | trace_state->event->n_dynamic_fields | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.buffer | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.entry | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.event | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.regs | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.trace_ctx | 0 |
| PARAM_VALUE | 1 | trace_state->fbuffer.trace_file | 0 |
| PARAM_VALUE | 1 | trace_state->n_u64 | 0 |
| PARAM_VALUE | 2 | dynamic_fields_size | 0 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | trace_state | $1 |
| MEM_ZERO | 1 | trace_state |