Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/ptrace.c ptrace_set_syscall_info() -> ptrace_set_syscall_info_exit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | child | 4096-ptr_max |
| PARAM_VALUE | 2 | info | 1072673516122988544 |
| DATA_SOURCE | 0 | child | $0 |
| USER_DATA | 2 | info->arch | 0-u32max |
| USER_DATA | 2 | info->entry.nr | 0-u64max |
| USER_DATA | 2 | info->exit.is_error | 0-255 |
| USER_DATA | 2 | info->exit.rval | s64min-s64max |
| USER_DATA | 2 | info->flags | 0 |
| USER_DATA | 2 | info->instruction_pointer | 0-u64max |
| USER_DATA | 2 | info->reserved | 0 |
| USER_DATA | 2 | info->seccomp.nr | 0-u64max |
| USER_DATA | 2 | info->seccomp.reserved2 | 0-u32max |
| USER_DATA | 2 | info->seccomp.ret_data | 0-u32max |
| USER_DATA | 2 | info->stack_pointer | 0-u64max |