Open Menu /

Defined in 1 files as a label:

Defined in 3 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/trace/trace.c l_start() -> l_next()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
PARAM_VALUE 1 e 0
PARAM_VALUE 2 pos 4096-ptr_max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es->buf (-1)-2147479552
DATA_SOURCE 0 es $0
DATA_SOURCE 2 pos $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->read_pos 0-13442450941
LOCK2 global &scratch_mutex
LOCK2 0 &es->lock
TYPE_LOCK (struct seq_file)->lock

drivers/md/dm-cache-policy-smq.c __redist_pop_from() -> l_next()

Type Parameter Key Value
PARAM_VALUE 0 es->end 4097-u64max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->sentinel 1
CAPPED_DATA 1 e 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mq->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smq_policy)->lock

drivers/md/dm-cache-policy-smq.c l_del() -> l_next()

Type Parameter Key Value
PARAM_VALUE 1 e 4096-ptr_max
CAPPED_DATA 1 e 1
DATA_SOURCE 0 es $0
DATA_SOURCE 1 e $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cmd->root_lock
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &mq->lock
HALF_LOCKED2 flags

drivers/md/dm-cache-policy-smq.c l_pop_head() -> l_next()

Type Parameter Key Value
PARAM_VALUE 0 es->end 4097-u64max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->sentinel 1
CAPPED_DATA 1 e 1
DATA_SOURCE 0 es $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mq->lock
LOCK2 flags
HALF_LOCKED2 &md->io_barrier
TYPE_LOCK (struct smq_policy)->lock

drivers/md/dm-cache-policy-smq.c q_peek() -> l_next()

Type Parameter Key Value
PARAM_VALUE 0 es->end 4097-u64max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->sentinel 1
CAPPED_DATA 1 e 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mq->lock
LOCK2 flags
TYPE_LOCK (struct smq_policy)->lock

drivers/md/dm-cache-policy-smq.c q_requeue() -> l_next()

Type Parameter Key Value
PARAM_VALUE 0 es->end 4097-u64max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->sentinel 1
CAPPED_DATA 1 e 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mq->lock
LOCK2 flags
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smq_policy)->lock

kernel/bpf/bpf_iter.c bpf_seq_read() -> (struct seq_operations)->next()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
PARAM_VALUE 0 es->buf 1-u64max
PARAM_VALUE 0 es->count 0
PARAM_VALUE 0 es->from 0
PARAM_VALUE 0 es->lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 es->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 es->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 es->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 es->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.wait_lock.owner (-1)
PARAM_VALUE 0 es->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 es->op 4096-ptr_max
PARAM_VALUE 1 e 1-ptr_max
PARAM_VALUE 2 pos 4096-ptr_max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es->buf 32768,u64max
CAPPED_DATA 0 &es->lock 1
CONTAINER 0 -16-208+0 $(-1)
CONTAINER 2 -16-208+40 $(-1)
PARAM_COMPARE 0 es->count <= $0->size
LOCK2 0 &es->lock
TYPE_LOCK (struct seq_file)->lock

fs/seq_file.c seq_read_iter() -> (struct seq_operations)->next()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
PARAM_VALUE 0 es->buf 1-u64max
PARAM_VALUE 0 es->count 0
PARAM_VALUE 0 es->from 0
PARAM_VALUE 0 es->lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 es->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 es->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 es->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 es->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.wait_lock.owner (-1)
PARAM_VALUE 0 es->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 es->op 4096-ptr_max
PARAM_VALUE 1 e 1-ptr_max
PARAM_VALUE 2 pos 4096-ptr_max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es->buf (-1)-2147479552
CAPPED_DATA 0 &es->lock 1
CONTAINER 0 -16-208+0 $(-1)
CONTAINER 2 -16-208+40 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->read_pos 0-13442450941[c]
LOCK2 0 &es->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct seq_file)->lock

fs/seq_file.c seq_read_iter() -> (struct seq_operations)->next()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
PARAM_VALUE 0 es->buf 1-u64max
PARAM_VALUE 0 es->count 0-999999999
PARAM_VALUE 0 es->from 0
PARAM_VALUE 0 es->lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 es->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 es->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 es->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 es->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.wait_lock.owner (-1)
PARAM_VALUE 0 es->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 es->op 4096-ptr_max
PARAM_VALUE 1 e 1-ptr_max
PARAM_VALUE 2 pos 4096-ptr_max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es->buf (-1)-2147479552
CAPPED_DATA 0 &es->lock 1
CONTAINER 0 -16-208+0 $(-1)
CONTAINER 2 -16-208+40 $(-1)
PARAM_COMPARE 0 es->count != $0->size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->read_pos 0-13442450941[c]
LOCK2 0 &es->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct seq_file)->lock

fs/seq_file.c traverse() -> (struct seq_operations)->next()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
PARAM_VALUE 0 es->buf 1-u64max
PARAM_VALUE 0 es->count 0
PARAM_VALUE 0 es->from 0
PARAM_VALUE 0 es->index 0
PARAM_VALUE 0 es->lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 es->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 es->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 es->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 es->lock.wait_lock.owner (-1)
PARAM_VALUE 0 es->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 es->op 4096-ptr_max
PARAM_VALUE 0 es->size 1-u64max
PARAM_VALUE 1 e 1-ptr_max
PARAM_VALUE 2 pos 4096-ptr_max
PARAM_VALUE 2 *pos 0
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es s32min-(-2),1-s32max
BUF_SIZE 0 es->buf (-1)-2147479552
DATA_SOURCE 0 es $0
FUZZY_MAX 0 es->size 4096
CONTAINER 0 -16-208+0 $(-1)
CONTAINER 2 -16-208+40 $(-1)
PARAM_COMPARE 0 es->count < $0->size
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &es->lock
TYPE_LOCK (struct seq_file)->lock