Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/seq_buf.c seq_buf_path() -> seq_buf_commit()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
CAPPED_DATA 0 s->len 1
CAPPED_DATA 0 s->size 1
DATA_SOURCE 0 s $0
STR_LEN 0 s 1
STR_LEN 0 s 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &tracepoint_iter_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

lib/tests/seq_buf_kunit.c seq_buf_get_buf_commit_test() -> seq_buf_commit()

Type Parameter Key Value
PARAM_VALUE 0 s 7062711162368339968
PARAM_VALUE 0 s->buffer 4096-ptr_max
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 16
PARAM_VALUE 1 num 5
NOCHECK_CALL

lib/tests/seq_buf_kunit.c seq_buf_get_buf_commit_test() -> seq_buf_commit()

Type Parameter Key Value
PARAM_VALUE 0 s 7062711162368339968
PARAM_VALUE 0 s->buffer 4096-ptr_max
PARAM_VALUE 0 s->len 5
PARAM_VALUE 0 s->size 16
PARAM_VALUE 1 num 6
TERMINATED 0 s->buffer 1
NOCHECK_CALL

lib/tests/seq_buf_kunit.c seq_buf_get_buf_commit_test() -> seq_buf_commit()

Type Parameter Key Value
PARAM_VALUE 0 s 7062711162368339968
PARAM_VALUE 0 s->buffer 4096-ptr_max
PARAM_VALUE 0 s->len 11
PARAM_VALUE 0 s->size 16
PARAM_VALUE 1 num (-1)
TERMINATED 0 s->buffer 1
NOCHECK_CALL

kernel/trace/trace_seq.c trace_seq_acquire() -> seq_buf_commit()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 1 num 1
DATA_SOURCE 1 num $1
NOCHECK_CALL