Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c do_check_common() -> __mark_dynptr_reg()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 first_slot 1
PARAM_VALUE 4 parent_id 0
NOCHECK_CALL

kernel/bpf/verifier.c mark_dynptr_cb_reg() -> __mark_dynptr_reg()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 first_slot 1
PARAM_VALUE 4 parent_id 0
BUF_SIZE 0 reg 800
BUF_SIZE 0 reg 800
DATA_SOURCE 0 reg $1
DATA_SOURCE 1 type $2
NOCHECK_CALL

kernel/bpf/verifier.c mark_dynptr_stack_regs() -> __mark_dynptr_reg()

Type Parameter Key Value
PARAM_VALUE 1 type 1-6
PARAM_VALUE 2 first_slot 1
DATA_SOURCE 0 reg $1
DATA_SOURCE 1 type $3
DATA_SOURCE 4 parent_id $4
NOCHECK_CALL

kernel/bpf/verifier.c mark_dynptr_stack_regs() -> __mark_dynptr_reg()

Type Parameter Key Value
PARAM_VALUE 1 type 1-6
PARAM_VALUE 2 first_slot 0
DATA_SOURCE 0 reg $2
DATA_SOURCE 1 type $3
DATA_SOURCE 4 parent_id $4
NOCHECK_CALL