Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/signal.c do_pidfd_send_signal() -> kill_pgrp_info()

Type Parameter Key Value
PARAM_VALUE 1 info 990201614177128448
PARAM_VALUE 1 info->_sifields._kill._pid 0-s32max
PARAM_VALUE 1 info->_sifields._kill._uid 0-4294967294
PARAM_VALUE 1 info->_sifields._rt._sigval.sival_int 0
PARAM_VALUE 1 info->_sifields._sigchld._status 0
PARAM_VALUE 1 info->_sifields._sigchld._stime 0
PARAM_VALUE 1 info->_sifields._sigchld._utime 0
PARAM_VALUE 1 info->_sifields._sigfault._addr_lsb 0
PARAM_VALUE 1 info->_sifields._sigfault._addr_pkey._pkey 0
PARAM_VALUE 1 info->_sifields._sigfault._perf._flags 0
PARAM_VALUE 1 info->_sifields._sigfault._perf._type 0
PARAM_VALUE 1 info->_sifields._sigfault._trapno 0
PARAM_VALUE 1 info->_sifields._sigpoll._fd 0
PARAM_VALUE 1 info->_sifields._sigsys._arch 0
PARAM_VALUE 1 info->_sifields._sigsys._syscall 0
PARAM_VALUE 1 info->_sifields._timer._overrun 0
PARAM_VALUE 1 info->_sifields._timer._tid 0
PARAM_VALUE 1 info->si_code s32min-0
PARAM_VALUE 1 info->si_errno 0
BUF_SIZE 2 pgrp s32min-(-1),1-s32max
BUF_SIZE 2 pgrp s32min-(-1),1-s32max
DATA_SOURCE 0 sig $1
DATA_SOURCE 2 pgrp $0
USER_DATA 0 sig s32min-s32max
USER_DATA 1 info->_sifields._kill._pid 0
USER_DATA 1 info->_sifields._kill._uid 0
USER_DATA 1 info->_sifields._rt._pid s32min-s32max
USER_DATA 1 info->_sifields._rt._sigval.sival_int 0
USER_DATA 1 info->_sifields._rt._uid 0-u32max
USER_DATA 1 info->_sifields._sigchld._pid s32min-s32max
USER_DATA 1 info->_sifields._sigchld._status 0
USER_DATA 1 info->_sifields._sigchld._stime 0
USER_DATA 1 info->_sifields._sigchld._uid 0-u32max
USER_DATA 1 info->_sifields._sigchld._utime 0
USER_DATA 1 info->_sifields._sigfault._addr_lsb 0
USER_DATA 1 info->_sifields._sigfault._addr_pkey._pkey 0
USER_DATA 1 info->_sifields._sigfault._perf._data 0-u64max
USER_DATA 1 info->_sifields._sigfault._perf._flags 0
USER_DATA 1 info->_sifields._sigfault._perf._type 0
USER_DATA 1 info->_sifields._sigfault._trapno 0
USER_DATA 1 info->_sifields._sigpoll._band s64min-s64max
USER_DATA 1 info->_sifields._sigpoll._fd 0
USER_DATA 1 info->_sifields._sigsys._arch 0
USER_DATA 1 info->_sifields._sigsys._syscall 0
USER_DATA 1 info->_sifields._timer._overrun 0
USER_DATA 1 info->_sifields._timer._sigval.sival_int s32min-s32max
USER_DATA 1 info->_sifields._timer._sys_private s32min-s32max
USER_DATA 1 info->_sifields._timer._tid 0
USER_DATA 1 info->si_code s32min-0
USER_DATA 1 info->si_errno 0
USER_DATA 1 info->si_signo s32min-s32max

kernel/signal.c kill_pgrp() -> kill_pgrp_info()

Type Parameter Key Value
PARAM_VALUE 0 sig 1-3,18,20-22,28
PARAM_VALUE 1 info 0-1
DATA_SOURCE 0 sig $1
DATA_SOURCE 2 pgrp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rcu_read