Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/signal.c do_rt_tgsigqueueinfo() -> do_send_specific()

Type Parameter Key Value
PARAM_VALUE 0 tgid 1-s32max
PARAM_VALUE 1 pid 1-s32max
PARAM_VALUE 3 info 611400828142833664,6551958221135450112
CAPPED_DATA 1 pid 1
DATA_SOURCE 0 tgid $0
DATA_SOURCE 1 pid $1
DATA_SOURCE 2 sig $2
DATA_SOURCE 3 info $3
FUZZY_MAX 0 tgid 1
FUZZY_MAX 1 pid 1
USER_DATA 0 tgid 1-s32max
USER_DATA 1 pid 1-s32max[c]
USER_DATA 2 sig s32min-s32max
USER_DATA 3 info->_sifields._kill._pid s32min-s32max
USER_DATA 3 info->_sifields._kill._uid 0-u32max
USER_DATA 3 info->_sifields._rt._pid s32min-s32max
USER_DATA 3 info->_sifields._rt._sigval.sival_int s32min-s32max
USER_DATA 3 info->_sifields._rt._uid 0-u32max
USER_DATA 3 info->_sifields._sigchld._pid s32min-s32max
USER_DATA 3 info->_sifields._sigchld._status s32min-s32max
USER_DATA 3 info->_sifields._sigchld._stime s64min-s64max
USER_DATA 3 info->_sifields._sigchld._uid 0-u32max
USER_DATA 3 info->_sifields._sigchld._utime s64min-s64max
USER_DATA 3 info->_sifields._sigfault._addr_lsb s16min-s16max
USER_DATA 3 info->_sifields._sigfault._addr_pkey._pkey 0-u32max
USER_DATA 3 info->_sifields._sigfault._perf._data 0-u64max
USER_DATA 3 info->_sifields._sigfault._perf._flags 0-u32max
USER_DATA 3 info->_sifields._sigfault._perf._type 0-u32max
USER_DATA 3 info->_sifields._sigfault._trapno s32min-s32max
USER_DATA 3 info->_sifields._sigpoll._band s64min-s64max
USER_DATA 3 info->_sifields._sigpoll._fd s32min-s32max
USER_DATA 3 info->_sifields._sigsys._arch 0-u32max
USER_DATA 3 info->_sifields._sigsys._syscall s32min-s32max
USER_DATA 3 info->_sifields._timer._overrun s32min-s32max
USER_DATA 3 info->_sifields._timer._sigval.sival_int s32min-s32max
USER_DATA 3 info->_sifields._timer._sys_private s32min-s32max
USER_DATA 3 info->_sifields._timer._tid s32min-s32max
USER_DATA 3 info->si_code s32min-s32max
USER_DATA 3 info->si_errno s32min-s32max
USER_DATA 3 info->si_signo s32min-s32max

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

Type Parameter Key Value
PARAM_VALUE 0 tgid 0-s32max
PARAM_VALUE 1 pid 1-s32max
PARAM_VALUE 3 info 4050225603179327488
PARAM_VALUE 3 info->_sifields._kill._pid 0-s32max
PARAM_VALUE 3 info->_sifields._kill._uid 0-4294967294
PARAM_VALUE 3 info->_sifields._sigsys._arch 0
PARAM_VALUE 3 info->si_code (-6)
PARAM_VALUE 3 info->si_errno 0
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
MEM_ZERO 3 info
USER_DATA 0 tgid 1-s32max
USER_DATA 1 pid 1-s32max
USER_DATA 2 sig s32min-s32max
USER_DATA 3 info->si_signo 0