Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/ftrace.c ftrace_modify_code_direct() -> ftrace_verify_code()

Type Parameter Key Value
BUF_SIZE 1 old_code (-1),5
BUF_SIZE 1 old_code (-1),5
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 old_code $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ip unit_byte
HALF_LOCKED2 global &ftrace_lock

arch/x86/kernel/ftrace.c ftrace_replace_code() -> ftrace_verify_code()

Type Parameter Key Value
BUF_SIZE 1 old_code (-1),5
BUF_SIZE 1 old_code (-1),5
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ip unit_byte