Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 semid 0-s32max
PARAM_VALUE 3 cmd 11-15,17
DATA_SOURCE 1 semid $0
DATA_SOURCE 2 semnum $1
DATA_SOURCE 3 cmd $2
DATA_SOURCE 4 p $3
FUZZY_MAX 1 semid 0
USER_DATA 1 semid 0-s32max
USER_DATA 2 semnum s32min-s32max
USER_DATA 3 cmd 11-15,17