Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/trace/trace_fprobe.c process_fetch_insn() -> process_fetch_insn_bottom()

Type Parameter Key Value
PARAM_VALUE 0 code 4097-u64max
PARAM_VALUE 0 code->op 2-8,10-11
PARAM_VALUE 3 base 0,4096-ptr_max
DATA_SOURCE 0 code $0 [m]
DATA_SOURCE 2 dest $3
DATA_SOURCE 3 base $4
UNITS 2 dest unit_byte
UNITS 3 base unit_byte
HALF_LOCKED2 rcu_read

kernel/trace/trace_uprobe.c process_fetch_insn() -> process_fetch_insn_bottom()

Type Parameter Key Value
PARAM_VALUE 0 code 4097-18446744073709547521
PARAM_VALUE 0 code->op 1-7,9-10
PARAM_VALUE 2 dest 0,4096-ptr_max
DATA_SOURCE 0 code $0 [m]
DATA_SOURCE 2 dest $3
DATA_SOURCE 3 base $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 val 0-u64max
UNITS 2 dest unit_byte
UNITS 3 base unit_byte

kernel/trace/trace_eprobe.c get_eprobe_size() -> process_fetch_insn_bottom()

Type Parameter Key Value
PARAM_VALUE 0 code 4097-u64max
PARAM_VALUE 0 code->op 5-7,10,12
PARAM_VALUE 2 dest 0
PARAM_VALUE 3 base 0
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace_eprobe.c process_fetch_insn() -> process_fetch_insn_bottom()

Type Parameter Key Value
PARAM_VALUE 0 code 4097-u64max
PARAM_VALUE 0 code->op 5-7,10,12
PARAM_VALUE 3 base 4096-ptr_max
DATA_SOURCE 0 code $0 [m]
DATA_SOURCE 2 dest $3
DATA_SOURCE 3 base $4
RX_PATH
TASK_NOT_RUNNING
UNITS 2 dest unit_byte
UNITS 3 base unit_byte

kernel/trace/trace_kprobe.c process_fetch_insn() -> process_fetch_insn_bottom()

Type Parameter Key Value
PARAM_VALUE 0 code 4097-u64max
PARAM_VALUE 0 code->op 1-8,10-11
PARAM_VALUE 3 base 0,4096-ptr_max
DATA_SOURCE 0 code $0 [m]
DATA_SOURCE 2 dest $3
DATA_SOURCE 3 base $4
UNITS 2 dest unit_byte
UNITS 3 base unit_byte