Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/uprobes.c can_optimize() -> is_optimizable_nop10()

Type Parameter Key Value
PARAM_VALUE 0 insn 2693768499051995136
PARAM_VALUE 0 insn->attr 0
PARAM_VALUE 0 insn->displacement.got 0-1
PARAM_VALUE 0 insn->displacement.nbytes 0-2,4
PARAM_VALUE 0 insn->end_kaddr 4096-ptr_max
PARAM_VALUE 0 insn->immediate.got 0-1
PARAM_VALUE 0 insn->immediate.nbytes 0-2,4
PARAM_VALUE 0 insn->immediate1.got 0-1
PARAM_VALUE 0 insn->immediate1.nbytes 0,2,4
PARAM_VALUE 0 insn->immediate2.got 0-1
PARAM_VALUE 0 insn->immediate2.nbytes 0-2,4
PARAM_VALUE 0 insn->kaddr 0
PARAM_VALUE 0 insn->length 0
PARAM_VALUE 0 insn->modrm.got 0-1
PARAM_VALUE 0 insn->modrm.nbytes 0
PARAM_VALUE 0 insn->modrm.value 0-255
PARAM_VALUE 0 insn->moffset1.got 0-1
PARAM_VALUE 0 insn->moffset1.nbytes 0,2,4
PARAM_VALUE 0 insn->moffset2.got 0-1
PARAM_VALUE 0 insn->moffset2.nbytes 0,4
PARAM_VALUE 0 insn->opcode.value 0
PARAM_VALUE 0 insn->opnd_bytes 0,2,4,8
PARAM_VALUE 0 insn->rex_prefix.nbytes 0
PARAM_VALUE 0 insn->sib.got 0-1
PARAM_VALUE 0 insn->sib.nbytes 0-1
PARAM_VALUE 0 insn->sib.value 0-255
PARAM_VALUE 0 insn->vex_prefix.nbytes 0
PARAM_VALUE 0 insn->x86_64 1
DATA_SOURCE 0 insn $0
MEM_ZERO 0 insn
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &uprobe->consumer_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &uprobe->register_rwsem
TYPE_LOCK (struct uprobe)->consumer_rwsem