Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

ipc/sem.c compat_ksys_semctl() -> semctl_info()

Type Parameter Key Value
PARAM_VALUE 1 semid 0-s32max
PARAM_VALUE 3 p 0-s32max
DATA_SOURCE 1 semid $0
DATA_SOURCE 2 cmd $2
DATA_SOURCE 3 p $3
FUZZY_MAX 1 semid 0
USER_DATA 1 semid 0-s32max
USER_DATA 2 cmd s32min-s32max

ipc/sem.c ksys_semctl() -> semctl_info()

Type Parameter Key Value
PARAM_VALUE 1 semid 0-s32max
PARAM_VALUE 2 cmd 3,19
DATA_SOURCE 1 semid $0
DATA_SOURCE 2 cmd $2
DATA_SOURCE 3 p $3
FUZZY_MAX 1 semid 0
USER_DATA 1 semid 0-s32max
USER_DATA 2 cmd 3,19