Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
kernel/exit.c __do_compat_sys_wait4() -> kernel_wait4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ru | 0,5392650976840384512 |
| BUF_SIZE | 3 | ru | 0,144 |
| DATA_SOURCE | 0 | upid | $0 |
| DATA_SOURCE | 1 | stat_addr | $1 |
| DATA_SOURCE | 2 | options | $2 |
| BIT_INFO | 3 | ru | 0x0,0x4ad68b7df03c0000 |
| USER_DATA | 0 | upid | s32min-s32max |
| USER_DATA | 2 | options | s32min-s32max |
kernel/exit.c __do_compat_sys_wait4() -> kernel_wait4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ru | 0,5392650976840384512 |
| BUF_SIZE | 3 | ru | 0,144 |
| DATA_SOURCE | 0 | upid | $0 |
| DATA_SOURCE | 1 | stat_addr | $1 |
| DATA_SOURCE | 2 | options | $2 |
| BIT_INFO | 3 | ru | 0x0,0x4ad68b7df03c0000 |
| USER_DATA | 0 | upid | s32min-s32max |
| USER_DATA | 2 | options | s32min-s32max |
kernel/exit.c __do_sys_wait4() -> kernel_wait4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ru | 0,212984808306397184 |
| BUF_SIZE | 3 | ru | 0,144 |
| DATA_SOURCE | 0 | upid | $0 |
| DATA_SOURCE | 1 | stat_addr | $1 |
| DATA_SOURCE | 2 | options | $2 |
| BIT_INFO | 3 | ru | 0x0,0x2f4ac8e01a85000 |
| USER_DATA | 0 | upid | s32min-s32max |
| USER_DATA | 1 | stat_addr | 0-u64max |
| USER_DATA | 2 | options | s32min-s32max |
kernel/exit.c __do_sys_wait4() -> kernel_wait4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ru | 0,212984808306397184 |
| BUF_SIZE | 3 | ru | 0,144 |
| DATA_SOURCE | 0 | upid | $0 |
| DATA_SOURCE | 1 | stat_addr | $1 |
| DATA_SOURCE | 2 | options | $2 |
| BIT_INFO | 3 | ru | 0x0,0x2f4ac8e01a85000 |
| USER_DATA | 0 | upid | s32min-s32max |
| USER_DATA | 1 | stat_addr | 0-u64max |
| USER_DATA | 2 | options | s32min-s32max |
kernel/exit.c __do_sys_waitpid() -> kernel_wait4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ru | 0 |
| DATA_SOURCE | 0 | upid | $0 |
| DATA_SOURCE | 1 | stat_addr | $1 |
| DATA_SOURCE | 2 | options | $2 |
| USER_DATA | 0 | upid | s32min-s32max |
| USER_DATA | 1 | stat_addr | 0-u64max |
| USER_DATA | 2 | options | s32min-s32max |
kernel/exit.c __do_sys_waitpid() -> kernel_wait4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ru | 0 |
| DATA_SOURCE | 0 | upid | $0 |
| DATA_SOURCE | 1 | stat_addr | $1 |
| DATA_SOURCE | 2 | options | $2 |
| USER_DATA | 0 | upid | s32min-s32max |
| USER_DATA | 1 | stat_addr | 0-u64max |
| USER_DATA | 2 | options | s32min-s32max |
kernel/pid_namespace.c zap_pid_ns_processes() -> kernel_wait4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | upid | (-1) |
| PARAM_VALUE | 1 | stat_addr | 0 |
| PARAM_VALUE | 2 | options | 1073741824 |
| PARAM_VALUE | 3 | ru | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &system_transition_mutex |