Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

ipc/sem.c exit_sem() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 sma

ipc/sem.c freeary() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 1 pid 0
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sma

ipc/sem.c perform_atomic_semop() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 sma

ipc/sem.c perform_atomic_semop_slow() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 sma

ipc/sem.c semctl_main() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 sma

ipc/sem.c semctl_setval() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 sma

ipc/msg.c do_msgrcv() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &msq->q_perm.lock
LOCK2 rcu_read
TYPE_LOCK (struct kern_ipc_perm)->lock

ipc/msg.c do_msgsnd() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &msq->q_perm.lock
LOCK2 rcu_read
TYPE_LOCK (struct kern_ipc_perm)->lock

ipc/msg.c freeque() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 1 pid 0
NOCHECK_CALL
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 &msq->q_perm.lock
HALF_LOCKED2 &pool->lock

ipc/msg.c freeque() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 1 pid 0
NOCHECK_CALL
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 &msq->q_perm.lock
HALF_LOCKED2 &pool->lock

ipc/msg.c pipelined_send() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &msq->q_perm.lock
LOCK2 rcu_read
TYPE_LOCK (struct kern_ipc_perm)->lock

ipc/shm.c __shm_close() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ipcp->lock
LOCK2 rcu_read

ipc/shm.c __shm_open() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ipcp->lock
LOCK2 rcu_read

ipc/shm.c newseg() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 0 *pos 0,4096-ptr_max
PARAM_VALUE 1 pid 0
NOCHECK_CALL
LOCK2 &ids->rwsem
TYPE_LOCK (struct ipc_ids)->rwsem

ipc/shm.c newseg() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 0 *pos 0
PARAM_VALUE 1 pid 0
NOCHECK_CALL
LOCK2 &ids->rwsem
TYPE_LOCK (struct ipc_ids)->rwsem

ipc/shm.c shm_destroy() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 1 pid 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ipcp->lock

ipc/shm.c shm_destroy() -> ipc_update_pid()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 1 pid 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ipcp->lock