Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/kprobes/opt.c arch_prepare_optimized_kprobe() -> __arch_remove_optimized_kprobe()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->kp.addr 0-3677682157214191615,4391940169387352064-u64max
PARAM_VALUE 0 op->optinsn.insn 1-u64max
PARAM_VALUE 1 dirty 0
BUF_SIZE 0 op (-1),168
BUF_SIZE 0 op (-1),168
CAPPED_DATA 0 op->kp.addr 1
DATA_SOURCE 0 op $0
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 global &jump_label_mutex
HALF_LOCKED2 global &fei_lock

arch/x86/kernel/kprobes/opt.c arch_remove_optimized_kprobe() -> __arch_remove_optimized_kprobe()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 1 dirty 1
CAPPED_DATA 0 op 1
DATA_SOURCE 0 op $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &jump_label_mutex