Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_nsems 1-s32max
PARAM_VALUE 1 sops 16,4096-ptr_max
PARAM_VALUE 2 nsops 1-357913941
BUF_SIZE 1 sops 384,390-s32max
BUF_SIZE 1 sops 384,390-s32max
CAPPED_DATA 2 nsops 1
DATA_SOURCE 0 sma r sem_obtain_object_check
DATA_SOURCE 1 sops $1
DATA_SOURCE 2 nsops $2
USER_DATA 1 sops->sem_flg s16min-s16max
USER_DATA 1 sops->sem_num 0-u16max
USER_DATA 1 sops->sem_op s16min-s16max
USER_DATA 2 nsops 2-357913941[c]
NO_OVERFLOW_SIMPLE 2 nsops
UNITS 2 nsops unit_array_size
USER_PTR 1 sops
LOCK2 rcu_read

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

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 sops 16,4096-ptr_max
PARAM_VALUE 2 nsops 1-357913941
BUF_SIZE 1 sops 384,390-s32max
BUF_SIZE 1 sops 384,390-s32max
CAPPED_DATA 0 sma->sem_nsems 1
CAPPED_DATA 2 nsops 1
DATA_SOURCE 0 sma r sem_obtain_object_check
DATA_SOURCE 1 sops $1
DATA_SOURCE 2 nsops $2
USER_DATA 1 sops->sem_flg s16min-s16max
USER_DATA 1 sops->sem_num 0-u16max
USER_DATA 1 sops->sem_op s16min-s16max
USER_DATA 2 nsops 3-357913941[c]
NO_OVERFLOW_SIMPLE 2 nsops
UNITS 2 nsops unit_array_size
USER_PTR 1 sops
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 1 sops 0
PARAM_VALUE 2 nsops (-1)
DATA_SOURCE 0 sma r sem_obtain_object_check
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

ipc/sem.c sem_lock_and_putref() -> sem_lock()

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_perm.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 sops 0
PARAM_VALUE 2 nsops (-1)
DATA_SOURCE 0 sma $0
NOCHECK_CALL
LOCK2 rcu_read

ipc/sem.c semctl_down() -> sem_lock()

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 1 sops 0
PARAM_VALUE 2 nsops (-1)
NOCHECK_CALL
LOCK2 rcu_read

ipc/sem.c semctl_down() -> sem_lock()

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 1 sops 0
PARAM_VALUE 2 nsops (-1)
NOCHECK_CALL
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 1 sops 0
PARAM_VALUE 2 nsops (-1)
DATA_SOURCE 0 sma r sem_obtain_object_check
NOCHECK_CALL
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_nsems 1-s32max
PARAM_VALUE 1 sops 0
PARAM_VALUE 2 nsops (-1)
DATA_SOURCE 0 sma r sem_obtain_object_check
NOCHECK_CALL
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->sem_nsems 1-s32max
PARAM_VALUE 1 sops 0
PARAM_VALUE 2 nsops (-1)
DATA_SOURCE 0 sma r sem_obtain_object_check
NOCHECK_CALL
LOCK2 rcu_read