Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/kernfs/file.c kernfs_seq_next() -> kernfs_seq_stop_active()

Type Parameter Key Value
PARAM_VALUE 0 sf 4096-ptr_max
PARAM_VALUE 0 sf->buf 1-u64max
PARAM_VALUE 0 sf->count 0-999999999
PARAM_VALUE 0 sf->from 0
PARAM_VALUE 0 sf->lock.dep_map->name 0-255
PARAM_VALUE 0 sf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 sf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sf->op 4096-ptr_max
PARAM_VALUE 0 sf->private 4096-ptr_max
PARAM_VALUE 0 sf->private->priv->procs.iter.flags 0-4294967295
PARAM_VALUE 1 v 0,4096-ptr_max
BUF_SIZE 0 sf s32min-(-2),1-s32max
BUF_SIZE 0 sf s32min-(-2),1-s32max
BUF_SIZE 0 sf->buf (-1)-2147479552
DATA_SOURCE 0 sf $0
BIT_INFO 1 v 0xffffffffffffffed,0xffffffffffffffed
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sf->read_pos 0-13442450941
LOCK2 0 &sf->lock
TYPE_LOCK (struct seq_file)->lock

fs/kernfs/file.c kernfs_seq_start() -> kernfs_seq_stop_active()

Type Parameter Key Value
PARAM_VALUE 0 sf 4096-ptr_max
PARAM_VALUE 0 sf->buf 1-u64max
PARAM_VALUE 0 sf->count 0-999999999
PARAM_VALUE 0 sf->from 0
PARAM_VALUE 0 sf->lock.dep_map->name 0-255
PARAM_VALUE 0 sf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 sf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sf->op 4096-ptr_max
PARAM_VALUE 0 sf->private 4096-ptr_max
PARAM_VALUE 0 sf->private->priv->procs.iter.flags 0-4294967295
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->attach 0,2246200204970172416,2360154984384167936,3019800169015222272,5185209237867978752,6679637330912739328,6722154200619556864,8437287443062427648
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->bind 0,5398039129788481536
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->can_attach 0,1539697653209010176,2596895394050748416,3636412751287525376
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->can_fork 0,5638613885127380992,6961295853237211136
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->cancel_attach 0,1511532066655358976,4508251095385354240,4853635904863272960
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->cancel_fork 0,5691029669975453696,7415222397819719680
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->css_extra_stat_show 0,3458187449253036032
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->css_killed 0,8358574337692954624
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->css_local_stat_show 0,3145639222211608576
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->css_released 0,4856339823753781248,9148075606814478336
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->css_reset 0,7327419871178485760
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->depends_on 0,16
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->exit 0,7702225149594865664,8372473530682335232
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->fork 0,4540472734013444096,7578242414286561280,8835910921598877696
PARAM_VALUE 0 sf->private->priv->procs.iter.ss->release 0,1980470231377797120
PARAM_VALUE 0 sf->private->priv->procs.started 1
PARAM_VALUE 0 sf->private->priv->procs1.pidlist->length s32min-s32max
PARAM_VALUE 1 v (-19)
BUF_SIZE 0 sf s32min-(-2),1-s32max
BUF_SIZE 0 sf s32min-(-2),1-s32max
BUF_SIZE 0 sf->buf (-1)-2147479552
CAPPED_DATA 0 sf->private->kn->__parent 1
DATA_SOURCE 0 sf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sf->read_pos 0-13442450941
LOCK2 &of->mutex
LOCK2 0 &sf->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct seq_file)->lock

fs/kernfs/file.c kernfs_seq_stop() -> kernfs_seq_stop_active()

Type Parameter Key Value
PARAM_VALUE 0 sf 4096-ptr_max
PARAM_VALUE 0 sf->buf 1-u64max
PARAM_VALUE 0 sf->lock.dep_map->name 0-255
PARAM_VALUE 0 sf->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sf->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 sf->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sf->op 4096-ptr_max
PARAM_VALUE 1 v 0-18446744073709551596,(-18)-(-1)
BUF_SIZE 0 sf s32min-(-2),1-s32max
BUF_SIZE 0 sf s32min-(-2),1-s32max
BUF_SIZE 0 sf->buf (-1)-2147479552
DATA_SOURCE 0 sf $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sf->read_pos 0-13442450941
LOCK2 0 &sf->lock
TYPE_LOCK (struct seq_file)->lock