Documented in 1 files:
Defined in 1 files as a function:
Referenced in 5 files:
Smatch caller information:
fs/seq_file.c seq_dentry() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | num | (-1)-0 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | m->count | 1 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| FUZZY_MAX | 1 | num | 0 |
| STR_LEN | 0 | m | 4 |
| STR_LEN | 0 | m | 4 |
| PARAM_COMPARE | 0 | m->count | <= $0->size |
| HARD_MAX | 1 | num | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/seq_file.c seq_escape_mem() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | m->count | 1 |
| CAPPED_DATA | 0 | m->size | 1 |
| CAPPED_DATA | 1 | num | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | (-1),2-9,11,13,15 |
| STR_LEN | 0 | m | (-1),2-9,11,13,15 |
| PARAM_COMPARE | 0 | m->count | <= $0->size |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/seq_file.c seq_hex_dump() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | m->count | 1 |
| CAPPED_DATA | 0 | m->size | 1 |
| CAPPED_DATA | 1 | num | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 0-2,4,8-9 |
| STR_LEN | 0 | m | 0-2,4,8-9 |
| PARAM_COMPARE | 0 | m->count | <= $0->size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-13442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | &hisi_acc_vdev->open_mutex | ||
| HALF_LOCKED2 | &hisi_acc_vdev->state_mutex | ||
| HALF_LOCKED2 | &object->lock | ||
| HALF_LOCKED2 | &p->mutex | ||
| HALF_LOCKED2 | &pm->lock | ||
| HALF_LOCKED2 | global &kfd_processes_srcu | ||
| HALF_LOCKED2 | global &topology_lock | ||
| HALF_LOCKED2 | global &tpmi_dev_lock | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/seq_file.c seq_path() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 1 | num | (-1)-0 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | m->count | 1 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| FUZZY_MAX | 1 | num | 0 |
| STR_LEN | 0 | m | 1,3-4 |
| STR_LEN | 0 | m | 1,3-4 |
| PARAM_COMPARE | 0 | m->count | <= $0->size |
| HARD_MAX | 1 | num | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-13442450941 |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
fs/seq_file.c seq_path_root() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | num | 0,(-4095)-(-1) |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | m->count | 1 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 0,4 |
| STR_LEN | 0 | m | 0,4 |
| PARAM_COMPARE | 0 | m->count | <= $0->size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/namespace.c statmount_mnt_root() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 4096-ptr_max |
| PARAM_VALUE | 0 | m->count | 0 |
| PARAM_VALUE | 0 | m->file | 0 |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->index | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0 |
| PARAM_VALUE | 0 | m->lock.magic | 0 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | m->lock.owner.counter | 0 |
| PARAM_VALUE | 0 | m->op | 0 |
| PARAM_VALUE | 0 | m->pad_until | 0 |
| PARAM_VALUE | 0 | m->poll_event | 0 |
| PARAM_VALUE | 0 | m->private | 0 |
| PARAM_VALUE | 0 | m->read_pos | 0 |
| PARAM_VALUE | 0 | m->size | 12288,24576 |
| BUF_SIZE | 0 | m | 240 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $1 |
| TERMINATED | 0 | m->buf | 1 |
| MEM_ZERO | 0 | m | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| LOCK2 | global &namespace_sem |
fs/namespace.c statmount_sb_source() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 4096-ptr_max |
| PARAM_VALUE | 0 | m->count | 0 |
| PARAM_VALUE | 0 | m->file | 0 |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->index | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0 |
| PARAM_VALUE | 0 | m->lock.magic | 0 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | m->lock.owner.counter | 0 |
| PARAM_VALUE | 0 | m->op | 0 |
| PARAM_VALUE | 0 | m->pad_until | 0 |
| PARAM_VALUE | 0 | m->poll_event | 0 |
| PARAM_VALUE | 0 | m->private | 0 |
| PARAM_VALUE | 0 | m->read_pos | 0 |
| PARAM_VALUE | 0 | m->size | 12288,24576 |
| BUF_SIZE | 0 | m | 240 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $1 |
| TERMINATED | 0 | m->buf | 1 |
| MEM_ZERO | 0 | m | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| LOCK2 | global &namespace_sem |
fs/sysfs/file.c sysfs_kf_seq_show() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->count | 0-999999999 |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 1 | num | (-1) |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | m->count | 1 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| PARAM_COMPARE | 0 | m->count | <= $0->size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-13442450941 |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
fs/sysfs/file.c sysfs_kf_seq_show() -> seq_commit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->count | 0-999999999 |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 1 | num | 0-4095 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | m->count | 1 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| PARAM_COMPARE | 0 | m->count | <= $0->size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-13442450941 |
| UNITS | 1 | num | unit_byte |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |