Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/signal.c __do_sys_tgkill() -> do_tkill()

Type Parameter Key Value
PARAM_VALUE 0 tgid 1-s32max
PARAM_VALUE 1 pid 1-s32max
DATA_SOURCE 0 tgid $0
DATA_SOURCE 1 pid $1
DATA_SOURCE 2 sig $2
FUZZY_MAX 0 tgid 1
FUZZY_MAX 1 pid 1
USER_DATA 0 tgid 1-s32max
USER_DATA 1 pid 1-s32max
USER_DATA 2 sig s32min-s32max

kernel/signal.c __do_sys_tgkill() -> do_tkill()

Type Parameter Key Value
PARAM_VALUE 0 tgid 1-s32max
PARAM_VALUE 1 pid 1-s32max
DATA_SOURCE 0 tgid $0
DATA_SOURCE 1 pid $1
DATA_SOURCE 2 sig $2
FUZZY_MAX 0 tgid 1
FUZZY_MAX 1 pid 1
USER_DATA 0 tgid 1-s32max
USER_DATA 1 pid 1-s32max
USER_DATA 2 sig s32min-s32max

kernel/signal.c __do_sys_tkill() -> do_tkill()

Type Parameter Key Value
PARAM_VALUE 0 tgid 0
PARAM_VALUE 1 pid 1-s32max
DATA_SOURCE 1 pid $0
DATA_SOURCE 2 sig $1
FUZZY_MAX 1 pid 1
USER_DATA 1 pid 1-s32max
USER_DATA 2 sig s32min-s32max

kernel/signal.c __do_sys_tkill() -> do_tkill()

Type Parameter Key Value
PARAM_VALUE 0 tgid 0
PARAM_VALUE 1 pid 1-s32max
DATA_SOURCE 1 pid $0
DATA_SOURCE 2 sig $1
FUZZY_MAX 1 pid 1
USER_DATA 1 pid 1-s32max
USER_DATA 2 sig s32min-s32max