Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/kprobes/core.c kprobe_int3_handler() -> kprobe_post_process()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->ainsn.insn 0-18446744073709551614
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 kcb 4096-ptr_max
PARAM_VALUE 2 kcb->kprobe_status 2,4
CAPPED_DATA 0 cur->ainsn.insn 1
CAPPED_DATA 1 regs 1
DATA_SOURCE 0 cur r kprobe_running
DATA_SOURCE 1 regs $0
DATA_SOURCE 2 kcb r get_kprobe_ctlblk
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/kprobes/core.c setup_singlestep() -> kprobe_post_process()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->ainsn.emulate_op 1-u64max
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->fred_ss.type 4,6
PARAM_VALUE 1 regs->fred_ss.vector 3
PARAM_VALUE 1 regs->orig_ax u64max
PARAM_VALUE 2 kcb 4096-ptr_max
PARAM_VALUE 2 kcb->kprobe_old_flags 0,512
PARAM_VALUE 2 kcb->kprobe_saved_flags 0,512
PARAM_VALUE 2 kcb->kprobe_status 2,4
PARAM_VALUE 2 kcb->prev_kprobe.status 0-2,8
CAPPED_DATA 0 cur->addr 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 regs $1
DATA_SOURCE 2 kcb $2
FUZZY_MAX 2 kcb->kprobe_status 4
BIT_INFO 2 kcb->kprobe_status 0x0,0x6
HARD_MAX 1 regs->fred_ss.type 6
HARD_MAX 2 kcb->kprobe_status 4
PREEMPT_ADD
NOCHECK_CALL