Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 shmid 0-s32max
PARAM_VALUE 2 cmd 0-1
PARAM_VALUE 3 shmid64 7930497198588526592
PARAM_VALUE 3 shmid64->shm_cpid 0
PARAM_VALUE 3 shmid64->shm_lpid 0
PARAM_VALUE 3 shmid64->shm_perm.mode 0-u16max
DATA_SOURCE 1 shmid $0
DATA_SOURCE 2 cmd $1
FUZZY_MAX 1 shmid 0
USER_DATA 1 shmid 0-s32max
USER_DATA 2 cmd 0-1
USER_DATA 3 shmid64->shm_perm.gid 0-u32max
USER_DATA 3 shmid64->shm_perm.mode 0-u16max
USER_DATA 3 shmid64->shm_perm.uid 0-u32max

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

Type Parameter Key Value
PARAM_VALUE 1 shmid 0-s32max
PARAM_VALUE 2 cmd 0-1
PARAM_VALUE 3 shmid64 5241822338273206272
DATA_SOURCE 1 shmid $0
DATA_SOURCE 2 cmd $1
FUZZY_MAX 1 shmid 0
USER_DATA 1 shmid 0-s32max
USER_DATA 2 cmd 0-1
USER_DATA 3 shmid64->__unused4 0-u64max
USER_DATA 3 shmid64->__unused5 0-u64max
USER_DATA 3 shmid64->shm_atime s64min-s64max
USER_DATA 3 shmid64->shm_cpid s32min-s32max
USER_DATA 3 shmid64->shm_ctime s64min-s64max
USER_DATA 3 shmid64->shm_dtime s64min-s64max
USER_DATA 3 shmid64->shm_lpid s32min-s32max
USER_DATA 3 shmid64->shm_nattch 0-u64max
USER_DATA 3 shmid64->shm_perm.__pad2 0-u16max
USER_DATA 3 shmid64->shm_perm.__unused1 0-u64max
USER_DATA 3 shmid64->shm_perm.__unused2 0-u64max
USER_DATA 3 shmid64->shm_perm.cgid 0-u32max
USER_DATA 3 shmid64->shm_perm.cuid 0-u32max
USER_DATA 3 shmid64->shm_perm.gid 0-u32max
USER_DATA 3 shmid64->shm_perm.key s32min-s32max
USER_DATA 3 shmid64->shm_perm.mode 0-u32max
USER_DATA 3 shmid64->shm_perm.seq 0-u16max
USER_DATA 3 shmid64->shm_perm.uid 0-u32max
USER_DATA 3 shmid64->shm_segsz 0-u64max