Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/signal.c do_pidfd_send_signal() -> kill_pid_info_type()
| 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._sigsys._arch | 0 |
| PARAM_VALUE | 1 | info->si_errno | 0 |
| PARAM_VALUE | 3 | type | 0-1 |
| BUF_SIZE | 2 | pid | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | pid | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | sig | $1 |
| DATA_SOURCE | 2 | pid | $0 |
| DATA_SOURCE | 3 | type | $2 [m] |
| FUZZY_MAX | 3 | type | 1 |
| HARD_MAX | 3 | type | 1 |
| 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-s32max |
| USER_DATA | 1 | info->si_errno | 0 |
| USER_DATA | 1 | info->si_signo | s32min-s32max |
kernel/signal.c kill_pid_info() -> kill_pid_info_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | info | 0-1,4599847235443253248,5318303036643434496 |
| PARAM_VALUE | 3 | type | 1 |
| DATA_SOURCE | 0 | sig | $0 |
| DATA_SOURCE | 1 | info | $1 |
| DATA_SOURCE | 2 | pid | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sig | s32min-s32max |
| USER_DATA | 1 | info->_sifields._kill._pid | s32min-s32max |
| USER_DATA | 1 | info->_sifields._kill._uid | 0-u32max |
| USER_DATA | 1 | info->_sifields._rt._pid | s32min-s32max |
| USER_DATA | 1 | info->_sifields._rt._sigval.sival_int | s32min-s32max |
| 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 | s32min-s32max |
| USER_DATA | 1 | info->_sifields._sigchld._stime | s64min-s64max |
| USER_DATA | 1 | info->_sifields._sigchld._uid | 0-u32max |
| USER_DATA | 1 | info->_sifields._sigchld._utime | s64min-s64max |
| USER_DATA | 1 | info->_sifields._sigfault._addr_lsb | s16min-s16max |
| USER_DATA | 1 | info->_sifields._sigfault._addr_pkey._pkey | 0-u32max |
| USER_DATA | 1 | info->_sifields._sigfault._perf._data | 0-u64max |
| USER_DATA | 1 | info->_sifields._sigfault._perf._flags | 0-u32max |
| USER_DATA | 1 | info->_sifields._sigfault._perf._type | 0-u32max |
| USER_DATA | 1 | info->_sifields._sigfault._trapno | s32min-s32max |
| USER_DATA | 1 | info->_sifields._sigpoll._band | s64min-s64max |
| USER_DATA | 1 | info->_sifields._sigpoll._fd | s32min-s32max |
| USER_DATA | 1 | info->_sifields._sigsys._arch | 0-u32max |
| USER_DATA | 1 | info->_sifields._sigsys._syscall | s32min-s32max |
| USER_DATA | 1 | info->_sifields._timer._overrun | s32min-s32max |
| 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 | s32min-s32max |
| USER_DATA | 1 | info->si_code | s32min-s32max |
| USER_DATA | 1 | info->si_errno | s32min-s32max |
| USER_DATA | 1 | info->si_signo | s32min-s32max |
| HALF_LOCKED2 | rcu_read |