Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/trace/fprobe.c fprobe_return() -> (struct fprobe)->exit_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 17293822569102704640-ptr_max |
| PARAM_VALUE | 3 | regs | 4096-ptr_max |
| CAPPED_DATA | 0 | fp | 1 |
| DATA_SOURCE | 3 | regs | $2 |
| CONTAINER | 0 | -32+0 | $(-1) |
| PARAM_COMPARE | 2 | ret_ip | == $3->regs.ip |
| PARAM_COMPARE | 3 | regs->regs.ip | == $2 |
| NOCHECK_CALL |