Defined in 1 files as a function:
Referenced in 5 files:
- fs/proc/array.c, line 727
- fs/proc/base.c
- fs/proc/fd.c, line 337
- fs/proc/internal.h, line 152
- fs/proc/proc_net.c, line 277
Smatch caller information:
fs/proc/proc_net.c get_proc_task_net() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/proc/base.c get_proc_task() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | inode | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | inode | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| UNITS | 0 | inode | unit_array_size |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/proc/base.c pid_getattr() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &lo->lo_mutex |
fs/proc/base.c pid_revalidate() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
fs/proc/base.c proc_inode_is_dead() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/proc/base.c proc_loginuid_write() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | rcu_read |
fs/proc/base.c proc_pid_attr_write() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | rcu_read |
fs/proc/base.c proc_single_show() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | inode | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | inode | unit_array_size |
| LOCK2 | &m->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
fs/proc/base.c proc_task_readdir() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/proc/base.c proc_timers_open() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/proc/base.c tgid_pidfd_to_pid() -> proc_pid()
| Type | Parameter | Key | Value |
|---|
fs/proc/namespaces.c get_proc_task() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/proc/task_mmu.c get_proc_task() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &m->lock |
fs/proc/fd.c get_proc_task() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | inode | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | inode | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| UNITS | 0 | inode | unit_array_size |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/proc/fd.c proc_fd_permission() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| DATA_SOURCE | 0 | inode | $1 |
| BIT_INFO | 0 | inode->i_opflags | 0x0,0xfffe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &cgroup_mutex | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/proc/array.c get_children_pid() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &seq->lock | ||
| LOCK2 | global &tasklist_lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
fs/proc_namespace.c get_proc_task() -> proc_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |