Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/slub.c alloc_fastpath_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 0
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c alloc_node_mismatch_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 9
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c alloc_slab_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 8
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c alloc_slowpath_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 1
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c barn_get_fail_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 18
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c barn_get_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 17
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c barn_put_fail_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 20
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c barn_put_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 19
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c cmpxchg_double_fail_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 12
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c free_add_partial_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 6
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c free_fastpath_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 4
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c free_rcu_sheaf_fail_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 3
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c free_rcu_sheaf_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 2
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c free_remove_partial_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 7
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c free_slab_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 10
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c free_slowpath_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 5
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c order_fallback_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 11
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_alloc_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 15
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_flush_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 13
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_free_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 16
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_prefill_fast_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 21
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_prefill_oversize_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 23
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_prefill_slow_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 22
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_refill_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 14
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_return_fast_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 24
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

mm/slub.c sheaf_return_slow_show() -> show_stat()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 v 1-u64max
PARAM_VALUE 2 si 25
CAPPED_DATA 1 v 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 v $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

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

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