Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/mmio-mod.c post() -> get_ins_reg_val()

Type Parameter Key Value
DATA_SOURCE 1 regs $2
PREEMPT_ADD <- disables preempt

arch/x86/mm/mmio-mod.c pre() -> get_ins_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 regs 4096-ptr_max
DATA_SOURCE 1 regs $1
PARAM_COMPARE 0 ins_addr == $1->ip
PARAM_COMPARE 0 ins_addr == $1->ip
PREEMPT_ADD <- disables preempt