Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

ipc/sem.c __do_semtimedop() -> unlink_queue()

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->pending_const.prev 1773901177817903104
PARAM_VALUE 0 sma->pending_const.prev->next 1773901177817903104
PARAM_VALUE 0 sma->pending_const.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sma->sem_nsems 1-s32max
PARAM_VALUE 0 sma->sem_perm.deleted 0
PARAM_VALUE 1 q 1773901177817903104
PARAM_VALUE 1 q->blocking 4096-18446744073709547519
PARAM_VALUE 1 q->list.next 4096-ptr_max
PARAM_VALUE 1 q->nsops 1-357913941
PARAM_VALUE 1 q->sops 16,4096-ptr_max
PARAM_VALUE 1 q->status (-4)
PARAM_VALUE 1 q->undo 0,4096-ptr_max
CAPPED_DATA 0 sma->sem_nsems 1
DATA_SOURCE 0 sma r sem_obtain_object_check
NOCHECK_CALL
USER_DATA 1 q->nsops 2-357913941[c]
NO_OVERFLOW_SIMPLE 1 q->nsops
USER_PTR 1 q->sops
LOCK2 rcu_read
LOCK2 0 sma

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 1 q->nsops 1-357913941
PARAM_VALUE 1 q->status (-43),(-34),(-11),(-4),0
CAPPED_DATA 0 &sma->list_id 1
CAPPED_DATA 0 &sma->pending_const 1
CAPPED_DATA 1 &q->list 1
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sma

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
CAPPED_DATA 0 &sma->list_id 1
CAPPED_DATA 0 &sma->pending_alter 1
CAPPED_DATA 0 &sma->pending_const 1
CAPPED_DATA 1 &q->list 1
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sma

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_nsems 1-s32max
PARAM_VALUE 0 sma->sems 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
CAPPED_DATA 0 &sma->list_id 1
CAPPED_DATA 0 &sma->pending_alter 1
CAPPED_DATA 0 &sma->pending_const 1
CAPPED_DATA 1 &q->list 1
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sma

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_nsems 1-s32max
PARAM_VALUE 0 sma->sems 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
CAPPED_DATA 0 &sma->list_id 1
CAPPED_DATA 0 &sma->pending_alter 1
CAPPED_DATA 0 &sma->pending_const 1
CAPPED_DATA 1 &q->list 1
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &ipcp->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sma

ipc/sem.c update_queue() -> unlink_queue()

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_perm.deleted 0
PARAM_VALUE 0 sma->sems 4096-ptr_max
PARAM_VALUE 0 sma->use_global_lock 0,8-10,4294967292-4294967294
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 1 q->nsops 1-357913941
PARAM_VALUE 1 *q->undo->semadj s16min-s16max
CAPPED_DATA 0 sma->sem_nsems 1
DATA_SOURCE 0 sma $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 0 sma

ipc/sem.c wake_const_ops() -> unlink_queue()

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_nsems 0-16777213
PARAM_VALUE 0 sma->sem_perm.deleted 0
PARAM_VALUE 0 sma->sems 4096-ptr_max
PARAM_VALUE 0 sma->use_global_lock 0,8,10,4294967292,4294967294
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 1 q->blocking 4096-18446744073709547519
PARAM_VALUE 1 q->nsops 1-357913941
PARAM_VALUE 1 q->status (-43),(-34),(-11),(-4),0
PARAM_VALUE 1 *q->undo->semadj s16min-s16max
CAPPED_DATA 0 sma->sem_nsems 1
CAPPED_DATA 1 &q->list 1
DATA_SOURCE 0 sma $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 0 sma