Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/trace/trace_events_user.c user_event_create_print_fmt() -> user_event_set_print_fmt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | user | 4096-ptr_max |
| PARAM_VALUE | 0 | user->call.name | 1-u64max |
| PARAM_VALUE | 0 | user->call.tp | 1-u64max |
| PARAM_VALUE | 0 | user->class.fields.next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->group | 4096-ptr_max |
| PARAM_VALUE | 0 | user->group->reg_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | user->group->reg_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | user->group->reg_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | user->group->reg_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | user->reg_name | 4096-ptr_max |
| PARAM_VALUE | 0 | user->tracepoint.name | 1-u64max |
| PARAM_VALUE | 0 | user->validators.next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | user | 456 |
| DATA_SOURCE | 0 | user | $0 |
| USER_DATA | 0 | user->reg_flags | 0-u16max |
| USER_DATA | 0 | *user->call.name | 0-255 |
| USER_DATA | 0 | *user->reg_name | 0-255 |
| USER_DATA | 0 | *user->tracepoint.name | 0-255 |
| USER_PTR | 0 | user->reg_name | |
| HALF_LOCKED2 | &group->reg_mutex | ||
| HALF_LOCKED2 | global &dyn_event_ops_mutex | ||
| TYPE_LOCK | (struct user_event_group)->reg_mutex |
kernel/trace/trace_events_user.c user_event_create_print_fmt() -> user_event_set_print_fmt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | user | 4096-ptr_max |
| PARAM_VALUE | 0 | user->call.name | 1-u64max |
| PARAM_VALUE | 0 | user->call.tp | 1-u64max |
| PARAM_VALUE | 0 | user->class.fields.next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->class.fields.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->fields.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->group | 4096-ptr_max |
| PARAM_VALUE | 0 | user->group->reg_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | user->group->reg_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | user->group->reg_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | user->group->reg_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | user->reg_name | 4096-ptr_max |
| PARAM_VALUE | 0 | user->tracepoint.name | 1-u64max |
| PARAM_VALUE | 0 | user->validators.next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | user->validators.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-4000000 |
| BUF_SIZE | 0 | user | 456 |
| BUF_SIZE | 1 | buf | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | buf | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | user | $0 |
| DATA_SOURCE | 1 | buf | r _kmalloc_noprof |
| DATA_SOURCE | 2 | len | r user_event_set_print_fmt |
| NOCHECK_CALL | |||
| USER_DATA | 0 | user->reg_flags | 0-u16max |
| USER_DATA | 0 | *user->call.name | 0-255 |
| USER_DATA | 0 | *user->reg_name | 0-255 |
| USER_DATA | 0 | *user->tracepoint.name | 0-255 |
| BYTE_COUNT | 1 | ==buf2 | 8050 |
| USER_PTR | 0 | user->reg_name | |
| HALF_LOCKED2 | &group->reg_mutex | ||
| HALF_LOCKED2 | global &dyn_event_ops_mutex | ||
| TYPE_LOCK | (struct user_event_group)->reg_mutex |