Defined in 1 files as a function:

Referenced in 16 files:

Smatch caller information:

kernel/tsacct.c bacct_add_tsk() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->delays 0,4096-ptr_max
PARAM_VALUE 0 tsk->delays->lock.dep_map->name 0-255
PARAM_VALUE 0 tsk->delays->lock.owner (-1)
PARAM_VALUE 0 tsk->delays->lock.owner_cpu 4294967295
PARAM_VALUE 0 tsk->group_leader 4096-ptr_max
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->type 0-1
DATA_SOURCE 0 tsk $3
DATA_SOURCE 1 ns $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tsk->exit_code 0,256-65280[c]
USER_DATA 0 tsk->signal->group_exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 tsk->delays->blkio_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->compact_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->freepages_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->irq_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->swapin_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->thrashing_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->wpcopy_delay

fs/proc/base.c proc_task_readdir() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 1 ns r proc_pid_ns
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/array.c task_state() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 1-u64max
DATA_SOURCE 1 ns $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tsk unit_byte
LOCK2 &m->lock
LOCK2 rcu_read
TYPE_LOCK (struct seq_file)->lock

fs/proc/array.c task_state() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->files 0,4096-ptr_max
PARAM_VALUE 0 tsk->numa_group 0,4096-ptr_max
PARAM_VALUE 0 tsk->real_cred 4096-ptr_max
PARAM_VALUE 0 tsk->real_cred->non_rcu 0
PARAM_VALUE 0 tsk->real_cred->process_keyring->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->real_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 tsk->real_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 tsk->real_cred->rcu.func 1-u64max
PARAM_VALUE 0 tsk->real_cred->rcu.next 0
PARAM_VALUE 0 tsk->real_cred->request_key_auth->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->real_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 tsk->real_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 tsk->real_cred->session_keyring->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->real_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 tsk->real_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 tsk->real_cred->thread_keyring->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->real_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 tsk->real_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 tsk->real_cred->ucounts->ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 tsk->real_cred->ucounts->ns->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 tsk->real_cred->user->uidhash_node->next->pprev 1-u64max
PARAM_VALUE 0 tsk->real_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 tsk->real_cred->user_ns->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 tsk->real_fs 0,4096-ptr_max
DATA_SOURCE 0 tsk $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

io_uring/fdinfo.c __io_uring_show_fdinfo() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->prev_cputime.lock.dep_map->name 0-255
PARAM_VALUE 0 tsk->prev_cputime.lock.owner (-1)
PARAM_VALUE 0 tsk->prev_cputime.lock.owner_cpu u32max
CAPPED_DATA 0 tsk 1
CAPPED_DATA 0 tsk->se.sum_exec_runtime 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->uring_lock
LOCK2 &m->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock
TYPE_LOCK (struct seq_file)->lock

kernel/taskstats.c taskstats_exit() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->audit_context 0
PARAM_VALUE 0 tsk->flags 0,4-u32max
PARAM_VALUE 0 tsk->kcov 0,4096-ptr_max
PARAM_VALUE 0 tsk->kcov->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->sighand 4096-ptr_max
PARAM_VALUE 0 tsk->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->signal 4096-ptr_max
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.dep_map->name 0-255
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 tsk->signal->core_state->startup.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 tsk->signal->core_state->startup.wait.lock.owner (-1)
PARAM_VALUE 0 tsk->signal->core_state->startup.wait.lock.owner_cpu u32max
PARAM_VALUE 0 tsk->signal->flags 4
PARAM_VALUE 0 tsk->signal->group_stop_count 0
PARAM_VALUE 0 tsk->user_event_mm 0
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 tsk->user_event_mm->put_rwork.rcu.next 0
PARAM_VALUE 1 ns 5090646797026435072
CAPPED_DATA 0 tsk 1
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tsk->exit_code 0,256-65280[c]
USER_DATA 0 tsk->signal->group_exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 tsk->delays->blkio_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->compact_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->freepages_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->irq_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->swapin_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->thrashing_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->wpcopy_delay
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->blkio_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->compact_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->cpu_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->cpu_run_virtual_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->freepages_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->irq_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->swapin_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->thrashing_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->wpcopy_delay_total
HALF_LOCKED2 global &system_transition_mutex

net/core/netdev-genl.c netdev_nl_napi_fill_one() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock

kernel/sched/build_utility.c proc_sched_show_task() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
DATA_SOURCE 1 ns $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

kernel/sched/build_utility.c proc_sched_show_task() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
DATA_SOURCE 1 ns $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

fs/nsfs.c ns_ioctl() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 1-u64max
PARAM_VALUE 1 ns 4096-ptr_max
DATA_SOURCE 0 tsk r find_task_by_vpid
LOCK2 rcu_read

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_chardev.c criu_process_info() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
CAPPED_DATA 0 tsk 1
LOCK2 &p->mutex
TYPE_LOCK (struct kfd_process)->mutex

fs/proc/thread_self.c proc_thread_self_get_link() -> task_pid_nr_ns()

Type Parameter Key Value
DATA_SOURCE 1 ns r proc_pid_ns
RX_PATH
TASK_NOT_RUNNING

kernel/signal.c do_notify_parent() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->exit_signal 0-s32max
PARAM_VALUE 0 tsk->parent 4096-ptr_max
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 tsk->thread_pid 4096-ptr_max
CAPPED_DATA 0 tsk 1
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tsk->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 tsk->exit_code 0-64,256-65280[c]
USER_DATA 0 tsk->signal->group_exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 tsk->delays->blkio_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->compact_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->freepages_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->irq_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->swapin_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->thrashing_delay
NO_OVERFLOW_SIMPLE 0 tsk->delays->wpcopy_delay
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->blkio_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->compact_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->cpu_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->cpu_run_virtual_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->freepages_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->irq_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->swapin_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->thrashing_delay_total
NO_OVERFLOW_SIMPLE 0 tsk->signal->stats->wpcopy_delay_total
LOCK2 global &tasklist_lock
LOCK2 irq
LOCK2 rcu_read

kernel/signal.c do_notify_parent_cldstop() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->type 0-1
DATA_SOURCE 0 tsk $0 [m]
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tsk->signal->group_exit_code 0,256-65280[c]
LOCK2 global &tasklist_lock
LOCK2 rcu_read
HALF_LOCKED2 &sighand->siglock

kernel/signal.c send_signal_locked() -> task_pid_nr_ns()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fown->lock
HALF_LOCKED2 &info->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &oom_lock
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

kernel/signal.c send_signal_locked() -> task_pid_nr_ns()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sighand->siglock
HALF_LOCKED2 &t->sighand->siglock
HALF_LOCKED2 flags
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 irq

fs/autofs/waitq.c autofs_wait() -> task_pid_nr_ns()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/trace/bpf_trace.c bpf_uprobe_multi_link_fill_link_info() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 1-u64max

kernel/trace/bpf_trace.c bpf_uprobe_multi_show_fdinfo() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

fs/exec.c exec_binprm() -> task_pid_nr_ns()

Type Parameter Key Value
LOCK2 rcu_read

fs/coda/upcall.c alloc_upcall() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 1 ns 5090646797026435072
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &coda_inode->i_rwsem
HALF_LOCKED2 &de->d_inode->i_rwsem
HALF_LOCKED2 &target->i_rwsem

kernel/bpf/helpers.c ____bpf_get_ns_current_pid_tgid() -> task_pid_nr_ns()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 ns 4096-ptr_max
CAPPED_DATA 1 ns->ns.inum 1
DATA_SOURCE 0 tsk r get_current
DATA_SOURCE 1 ns r task_active_pid_ns