Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

arch/x86/lib/insn-eval.c get_addr_ref_16() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
BUF_SIZE 0 regs (-1),168
BUF_SIZE 0 regs (-1),168
DATA_SOURCE 0 regs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/lib/insn-eval.c get_addr_ref_32() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
BUF_SIZE 0 regs (-1),168
BUF_SIZE 0 regs (-1),168
DATA_SOURCE 0 regs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/lib/insn-eval.c get_addr_ref_32() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
BUF_SIZE 0 regs (-1),168
BUF_SIZE 0 regs (-1),168
DATA_SOURCE 0 regs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/lib/insn-eval.c get_seg_limit() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
BUF_SIZE 0 regs (-1),168
BUF_SIZE 0 regs (-1),168
DATA_SOURCE 0 regs $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/lib/insn-eval.c insn_get_code_seg_params() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
CAPPED_DATA 0 regs->cs 1
DATA_SOURCE 0 regs $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/lib/insn-eval.c insn_get_seg_base() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
BUF_SIZE 0 regs (-1),168
BUF_SIZE 0 regs (-1),168
DATA_SOURCE 0 regs $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/cpu/mce/core.c mce_gather_info() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
BUF_SIZE 0 regs (-1),168
BUF_SIZE 0 regs (-1),168
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

arch/x86/kernel/traps.c __exc_general_protection() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/traps.c do_trap_no_signal() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $3
STR_LEN 0 regs (-1),8,11-14,19,27
STR_LEN 0 regs (-1),8,11-14,19,27
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/traps.c exc_debug_user() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0

arch/x86/kernel/step.c convert_ip_to_linear() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
DATA_SOURCE 0 regs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/signal.c handle_signal() -> v8086_mode()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
DATA_SOURCE 0 regs $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 regs->ip 0-u64max
NO_OVERFLOW_SIMPLE 0 regs->dx