Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/bpf_iter.c bpf_seq_read() -> bpf_iter_dec_seq_num()

Type Parameter Key Value
PARAM_VALUE 0 seq 4096-ptr_max
BUF_SIZE 0 seq s32min-(-2),1-s32max
BUF_SIZE 0 seq s32min-(-2),1-s32max
BUF_SIZE 0 seq->buf 32768,u64max
CAPPED_DATA 0 &seq->lock 1
NOCHECK_CALL
LOCK2 0 &seq->lock
TYPE_LOCK (struct seq_file)->lock

kernel/bpf/bpf_iter.c bpf_seq_read() -> bpf_iter_dec_seq_num()

Type Parameter Key Value
PARAM_VALUE 0 seq 4096-ptr_max
BUF_SIZE 0 seq s32min-(-2),1-s32max
BUF_SIZE 0 seq s32min-(-2),1-s32max
BUF_SIZE 0 seq->buf 32768,u64max
CAPPED_DATA 0 &seq->lock 1
PARAM_COMPARE 0 seq->count <= $0->size
NOCHECK_CALL
LOCK2 0 &seq->lock
TYPE_LOCK (struct seq_file)->lock