Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
ipc/sem.c semctl_down() -> ipcctl_obtain_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ns->ids | 4096-ptr_max |
| PARAM_VALUE | 1 | ids | 4096-ptr_max |
| PARAM_VALUE | 2 | id | 0-s32max |
| PARAM_VALUE | 4 | perm | 7845115786000654336,8534590338313220096 |
| PARAM_VALUE | 5 | extra_perm | 0 |
| BUF_SIZE | 1 | ids | 2064 |
| DATA_SOURCE | 0 | ns | $0 |
| DATA_SOURCE | 2 | id | $1 |
| DATA_SOURCE | 3 | cmd | $2 |
| FUZZY_MAX | 2 | id | 0 |
| USER_DATA | 2 | id | 0-s32max |
| USER_DATA | 3 | cmd | s32min-s32max |
| USER_DATA | 4 | perm->__pad2 | 0-u16max |
| USER_DATA | 4 | perm->__unused1 | 0-u64max |
| USER_DATA | 4 | perm->__unused2 | 0-u64max |
| USER_DATA | 4 | perm->cgid | 0-u32max |
| USER_DATA | 4 | perm->cuid | 0-u32max |
| USER_DATA | 4 | perm->gid | 0-u32max |
| USER_DATA | 4 | perm->key | s32min-s32max |
| USER_DATA | 4 | perm->mode | 0-u32max |
| USER_DATA | 4 | perm->seq | 0-u16max |
| USER_DATA | 4 | perm->uid | 0-u32max |
| LOCK2 | rcu_read |
ipc/msg.c msgctl_down() -> ipcctl_obtain_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ns->ids | 4096-ptr_max |
| PARAM_VALUE | 1 | ids | 4096-ptr_max |
| PARAM_VALUE | 2 | id | 0-s32max |
| PARAM_VALUE | 3 | cmd | 0-s32max |
| PARAM_VALUE | 4 | perm | 0,4419490621227958272,7613603203019214848 |
| BUF_SIZE | 1 | ids | 1376 |
| DATA_SOURCE | 0 | ns | $0 |
| DATA_SOURCE | 2 | id | $1 |
| DATA_SOURCE | 3 | cmd | $2 |
| DATA_SOURCE | 4 | perm | $3 |
| DATA_SOURCE | 5 | extra_perm | $4 |
| FUZZY_MAX | 2 | id | 0 |
| USER_DATA | 2 | id | 0-s32max |
| USER_DATA | 3 | cmd | 0-s32max |
| USER_DATA | 4 | perm->__pad2 | 0-u16max |
| USER_DATA | 4 | perm->__unused1 | 0-u64max |
| USER_DATA | 4 | perm->__unused2 | 0-u64max |
| USER_DATA | 4 | perm->cgid | 0-u32max |
| USER_DATA | 4 | perm->cuid | 0-u32max |
| USER_DATA | 4 | perm->gid | 0-u32max |
| USER_DATA | 4 | perm->key | s32min-s32max |
| USER_DATA | 4 | perm->mode | 0-u32max |
| USER_DATA | 4 | perm->seq | 0-u16max |
| USER_DATA | 4 | perm->uid | 0-u32max |
| USER_DATA | 5 | extra_perm | s32min-s32max |
| LOCK2 | rcu_read |
ipc/shm.c shmctl_down() -> ipcctl_obtain_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ns->ids | 4096-ptr_max |
| PARAM_VALUE | 1 | ids | 4096-ptr_max |
| PARAM_VALUE | 2 | id | 0-s32max |
| PARAM_VALUE | 3 | cmd | 0-1 |
| PARAM_VALUE | 4 | perm | 5241822338273206272,7930497198588526592 |
| PARAM_VALUE | 5 | extra_perm | 0 |
| DATA_SOURCE | 0 | ns | $0 |
| DATA_SOURCE | 2 | id | $1 |
| DATA_SOURCE | 3 | cmd | $2 |
| FUZZY_MAX | 2 | id | 0 |
| USER_DATA | 2 | id | 0-s32max |
| USER_DATA | 3 | cmd | 0-1 |
| USER_DATA | 4 | perm->__pad2 | 0-u16max |
| USER_DATA | 4 | perm->__unused1 | 0-u64max |
| USER_DATA | 4 | perm->__unused2 | 0-u64max |
| USER_DATA | 4 | perm->cgid | 0-u32max |
| USER_DATA | 4 | perm->cuid | 0-u32max |
| USER_DATA | 4 | perm->gid | 0-u32max |
| USER_DATA | 4 | perm->key | s32min-s32max |
| USER_DATA | 4 | perm->mode | 0-u32max |
| USER_DATA | 4 | perm->seq | 0-u16max |
| USER_DATA | 4 | perm->uid | 0-u32max |
| LOCK2 | rcu_read |