Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

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