Defined in 19 files as a prototype:

Defined in 111 files as a member:

Defined in 1 files as a macro:

Defined in 4 files as a function:

Defined in 1 files as a enumerator:

Referenced in 552 files:

Smatch caller information:

fs/sysfs/file.c sysfs_kf_read() -> (struct sysfs_ops)->show()

Type Parameter Key Value
PARAM_VALUE 2 buf 1-u64max
BUF_SIZE 0 kobj 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 0 kobj 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 1 attr 40,136,480,696,928,1128,1160,1392,1624,1848,8192
CAPPED_DATA 2 buf 1
DATA_SOURCE 0 kobj r sysfs_file_kobj
DATA_SOURCE 2 buf $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

0 sysfs_kf_seq_show() -> (struct sysfs_ops)->show()

Type Parameter Key Value
PARAM_VALUE 0 kobj 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
BUF_SIZE 2 buf 4096

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

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

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

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

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

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

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

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

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

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

Smatch assignments to (struct queue_sysfs_entry)->show:

block/blk-sysfs.c (null)() -> (struct queue_sysfs_entry)->show [0,4096-ptr_max]