Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/kprobes/opt.c can_optimize() -> insn_jump_into_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 8407228258105602048 |
| PARAM_VALUE | 0 | insn->next_byte | 0-18446744073709551614 |
| PARAM_VALUE | 1 | start | 1-3677682157214191616 |
| PARAM_VALUE | 2 | len | 4 |
| MEM_ZERO | 0 | insn | |
| UNITS | 1 | start | unit_byte |
| LOCK2 | _T->lock | ||
| LOCK2 | global &jump_label_mutex | ||
| HALF_LOCKED2 | global &fei_lock |