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() -> ipc_update_perm()

Type Parameter Key Value
PARAM_VALUE 0 in 7845115786000654336,8534590338313220096
PARAM_VALUE 1 out 4096-ptr_max
PARAM_VALUE 1 out->seq 0-u16max,18446744073709551488-u64max
CAPPED_DATA 1 out->seq 1
DATA_SOURCE 1 out r ipcctl_obtain_check
USER_DATA 0 in->__pad2 0-u16max
USER_DATA 0 in->__unused1 0-u64max
USER_DATA 0 in->__unused2 0-u64max
USER_DATA 0 in->cgid 0-u32max
USER_DATA 0 in->cuid 0-u32max
USER_DATA 0 in->gid 0-u32max
USER_DATA 0 in->key s32min-s32max
USER_DATA 0 in->mode 0-u32max
USER_DATA 0 in->seq 0-u16max
USER_DATA 0 in->uid 0-u32max
LOCK2 rcu_read
LOCK2 sma

ipc/msg.c msgctl_down() -> ipc_update_perm()

Type Parameter Key Value
PARAM_VALUE 0 in 0,4419490621227958272,7613603203019214848
PARAM_VALUE 1 out 4096-ptr_max
PARAM_VALUE 1 out->seq 0-u16max,18446744073709551488-u64max
CAPPED_DATA 1 out->seq 1
DATA_SOURCE 0 in $3
DATA_SOURCE 1 out r ipcctl_obtain_check
PREEMPT_ADD <- disables preempt
USER_DATA 0 in->__pad2 0-u16max
USER_DATA 0 in->__unused1 0-u64max
USER_DATA 0 in->__unused2 0-u64max
USER_DATA 0 in->cgid 0-u32max
USER_DATA 0 in->cuid 0-u32max
USER_DATA 0 in->gid 0-u32max
USER_DATA 0 in->key s32min-s32max
USER_DATA 0 in->mode 0-u32max
USER_DATA 0 in->seq 0-u16max
USER_DATA 0 in->uid 0-u32max
LOCK2 &msq->q_perm.lock
LOCK2 rcu_read
TYPE_LOCK (struct kern_ipc_perm)->lock

ipc/shm.c shmctl_down() -> ipc_update_perm()

Type Parameter Key Value
PARAM_VALUE 0 in 5241822338273206272,7930497198588526592
PARAM_VALUE 1 out 4096-ptr_max
PARAM_VALUE 1 out->seq 0-u16max,18446744073709551488-u64max
CAPPED_DATA 1 out->seq 1
DATA_SOURCE 1 out r ipcctl_obtain_check
PREEMPT_ADD <- disables preempt
USER_DATA 0 in->__pad2 0-u16max
USER_DATA 0 in->__unused1 0-u64max
USER_DATA 0 in->__unused2 0-u64max
USER_DATA 0 in->cgid 0-u32max
USER_DATA 0 in->cuid 0-u32max
USER_DATA 0 in->gid 0-u32max
USER_DATA 0 in->key s32min-s32max
USER_DATA 0 in->mode 0-u32max
USER_DATA 0 in->seq 0-u16max
USER_DATA 0 in->uid 0-u32max
LOCK2 &shp->shm_perm.lock
LOCK2 rcu_read
TYPE_LOCK (struct kern_ipc_perm)->lock