Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/signal.c do_pidfd_send_signal() -> prepare_kill_siginfo()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | info | 990201614177128448 |
| PARAM_VALUE | 2 | type | 0-2 |
| DATA_SOURCE | 0 | sig | $1 |
| DATA_SOURCE | 2 | type | $2 [m] |
| FUZZY_MAX | 2 | type | 2 |
| HARD_MAX | 2 | type | 2 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | sig | s32min-s32max |
kernel/signal.c do_tkill() -> prepare_kill_siginfo()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | info | 4050225603179327488 |
| PARAM_VALUE | 2 | type | 0 |
| DATA_SOURCE | 0 | sig | $2 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | sig | s32min-s32max |