Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/net/bpf_jit_comp.c do_jit() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
FUZZY_MAX 1 r1 15
FUZZY_MAX 2 r2 15
PARAM_COMPARE 1 r1 != $2
PARAM_COMPARE 2 r2 != $1
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c do_jit() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
PARAM_VALUE 1 r1 14
PARAM_VALUE 2 r2 0,3
FUZZY_MAX 2 r2 3
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c do_jit() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
PARAM_VALUE 1 r1 14
PARAM_VALUE 2 r2 4
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_ldsx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $3
DATA_SOURCE 2 r2 $2

arch/x86/net/bpf_jit_comp.c emit_ldsx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $3
DATA_SOURCE 2 r2 $2

arch/x86/net/bpf_jit_comp.c emit_ldsx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $3
DATA_SOURCE 2 r2 $2

arch/x86/net/bpf_jit_comp.c emit_ldx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $3
DATA_SOURCE 2 r2 $2
RX_PATH

arch/x86/net/bpf_jit_comp.c emit_ldx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $3
DATA_SOURCE 2 r2 $2
RX_PATH

arch/x86/net/bpf_jit_comp.c emit_ldx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
DATA_SOURCE 1 r1 $3
DATA_SOURCE 2 r2 $2
RX_PATH

arch/x86/net/bpf_jit_comp.c emit_ldx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $3
DATA_SOURCE 2 r2 $2
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_mov_imm32() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
PARAM_VALUE 1 r1 5-16
PARAM_VALUE 2 r2 5-16
DATA_SOURCE 1 r1 $2
DATA_SOURCE 2 r2 $2
FUZZY_MAX 1 r1 15
FUZZY_MAX 2 r2 15
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_mov_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
CAPPED_DATA 1 r1 1
CAPPED_DATA 2 r2 1
DATA_SOURCE 1 r1 $2
DATA_SOURCE 2 r2 $3
FUZZY_MAX 1 r1 15
FUZZY_MAX 2 r2 15
PARAM_COMPARE 1 r1 < $2
PARAM_COMPARE 2 r2 > $1
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_mov_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
CAPPED_DATA 1 r1 1
CAPPED_DATA 2 r2 1
DATA_SOURCE 1 r1 $2
DATA_SOURCE 2 r2 $3
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_movsx_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
DATA_SOURCE 1 r1 $4
DATA_SOURCE 2 r2 $3
FUZZY_MAX 1 r1 15
FUZZY_MAX 2 r2 15
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_movsx_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
DATA_SOURCE 1 r1 $4
DATA_SOURCE 2 r2 $3
FUZZY_MAX 1 r1 15
FUZZY_MAX 2 r2 15
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_movsx_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
DATA_SOURCE 1 r1 $4
DATA_SOURCE 2 r2 $3
FUZZY_MAX 1 r1 15
FUZZY_MAX 2 r2 15
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_movsx_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
DATA_SOURCE 1 r1 $4
DATA_SOURCE 2 r2 $3
FUZZY_MAX 1 r1 15
FUZZY_MAX 2 r2 15
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_movsx_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
DATA_SOURCE 1 r1 $4
DATA_SOURCE 2 r2 $3
FUZZY_MAX 1 r1 15
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_movsx_reg() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 15
PARAM_VALUE 1 r1 0-15
PARAM_VALUE 2 r2 0-15
DATA_SOURCE 1 r1 $4
DATA_SOURCE 2 r2 $3
FUZZY_MAX 1 r1 15
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_stx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
DATA_SOURCE 1 r1 $2
DATA_SOURCE 2 r2 $3
RX_PATH

arch/x86/net/bpf_jit_comp.c emit_stx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
DATA_SOURCE 1 r1 $2
DATA_SOURCE 2 r2 $3
RX_PATH

arch/x86/net/bpf_jit_comp.c emit_stx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
DATA_SOURCE 1 r1 $2
DATA_SOURCE 2 r2 $3
RX_PATH

arch/x86/net/bpf_jit_comp.c emit_stx() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $2
DATA_SOURCE 2 r2 $3
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c maybe_emit_mod() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 72
DATA_SOURCE 1 r1 $1
DATA_SOURCE 2 r2 $2
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c maybe_emit_mod() -> add_2mod()

Type Parameter Key Value
PARAM_VALUE 0 byte 64
DATA_SOURCE 1 r1 $1
DATA_SOURCE 2 r2 $2
RX_PATH
TASK_NOT_RUNNING