Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
ipc/sem.c do_semtimedop() -> __do_semtimedop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sops | 1-18446744073709551614 |
| PARAM_VALUE | 2 | nsops | 1-357913941 |
| PARAM_VALUE | 3 | timeout | 0,2782815955997175808,7899110017888727040 |
| PARAM_VALUE | 4 | ns | 4096-ptr_max |
| PARAM_VALUE | 4 | ns->sem_ctls | 4096-ptr_max |
| BUF_SIZE | 1 | sops | 384,390-25769803770 |
| BUF_SIZE | 1 | sops | 384,390-25769803770 |
| CAPPED_DATA | 2 | nsops | 1 |
| DATA_SOURCE | 0 | semid | $0 |
| DATA_SOURCE | 2 | nsops | $2 |
| DATA_SOURCE | 3 | timeout | $3 |
| USER_DATA | 0 | semid | s32min-s32max |
| 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 | 1-357913941[c] |
| USER_DATA | 3 | timeout->tv_nsec | s64min-s64max |
| USER_DATA | 3 | timeout->tv_sec | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 2 | nsops | |
| UNITS | 2 | nsops | unit_array_size |
| ELEM_COUNT | 1 | ==sops2 | 8051 |
| USER_PTR | 1 | sops |