Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- fs/resctrl/rdtgroup.c, line 108
- kernel/sched/ext/ext.c, line 6607
- kernel/trace/trace_seq.c
- lib/seq_buf.c, line 99
Smatch caller information:
fs/resctrl/rdtgroup.c rdt_last_cmd_printf() -> seq_buf_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 3687974728692822016 |
| PARAM_VALUE | 1 | fmt | 4096-ptr_max |
| BUF_SIZE | 1 | fmt | 12,16,18-21,23,27,31-37,39,41,43,48,50,55,57,72 |
| BUF_SIZE | 1 | fmt | 12,16,18-21,23,27,31-37,39,41,43,48,50,55,57,72 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 1 | fmt | $0 |
| STR_LEN | 0 | s | 11,15,17-20,22,26,30-36,38,40,42,47,49,54,56,71 |
| STR_LEN | 1 | fmt | 11,15,17-20,22,26,30-36,38,40,42,47,49,54,56,71 |
| STR_LEN | 2 | *args | 11,15,17-20,22,26,30-36,38,40,42,47,49,54,56,71 |
| PARAM_COMPARE | 1 | &fmt | == $2 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | *args | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rdtgroup_mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &seq->lock |
lib/seq_buf.c seq_buf_printf() -> seq_buf_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 1 | fmt | 4096-ptr_max |
| BUF_SIZE | 1 | fmt | 3-19,24-25,31-32,34,39,45,62 |
| BUF_SIZE | 1 | fmt | 3-19,24-25,31-32,34,39,45,62 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 0 | s | $0 |
| DATA_SOURCE | 1 | fmt | $1 |
| STR_LEN | 0 | s | 2-18,23-24,30-31,33,38,44,61 |
| STR_LEN | 0 | s | 2-18,23-24,30-31,33,38,44,61 |
| STR_LEN | 1 | fmt | (-1)-2,5,7-8,10-11 |
| STR_LEN | 1 | fmt | (-1)-2,5,7-8,10-11 |
| STR_LEN | 2 | *args | (-1)-2,5,7-8,10-11 |
| PARAM_COMPARE | 1 | &fmt | == $2 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | *args | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &kunit_run_lock | ||
| HALF_LOCKED2 | global &selinux_state.policy_mutex | ||
| HALF_LOCKED2 | rcu_read |
kernel/trace/trace_seq.c trace_seq_printf() -> seq_buf_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->size | 1-u64max |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 1 | fmt | $1 |
| PARAM_COMPARE | 1 | &fmt | == $2 |
| NOCHECK_CALL |
kernel/trace/trace_seq.c trace_seq_vprintf() -> seq_buf_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->size | 1-u64max |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 1 | fmt | $1 |
| DATA_SOURCE | 2 | args | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |