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

Type	Parameter	Key	Value
BUF_SIZE	0	reg	(-1),800
BUF_SIZE	0	reg	(-1),800
DATA_SOURCE	0	reg	$0
NOCHECK_CALL

kernel/bpf/verifier.c check_helper_call() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
BUF_SIZE	0	reg	880
BUF_SIZE	0	reg	880
NOCHECK_CALL

kernel/bpf/verifier.c map_set_for_each_callback_args() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	5
BUF_SIZE	0	reg	720
NOCHECK_CALL

kernel/bpf/verifier.c map_set_for_each_callback_args() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	4
BUF_SIZE	0	reg	640
NOCHECK_CALL

kernel/bpf/verifier.c mark_ptr_or_null_reg() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	256-u32max
BUF_SIZE	0	reg	(-1),80
BUF_SIZE	0	reg	(-1),80
CAPPED_DATA	0	reg->id	1
DATA_SOURCE	0	reg	$1
NOCHECK_CALL

kernel/bpf/verifier.c mark_reg_known_zero() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
NOCHECK_CALL

kernel/bpf/verifier.c mark_stack_slot_irq_flag() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
BUF_SIZE	0	reg	80
NOCHECK_CALL

kernel/bpf/verifier.c mark_stack_slots_iter() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
BUF_SIZE	0	reg	80
NOCHECK_CALL

kernel/bpf/verifier.c set_find_vma_callback_state() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	16
BUF_SIZE	0	reg	720
NOCHECK_CALL

kernel/bpf/verifier.c set_task_work_schedule_callback_state() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	3
BUF_SIZE	0	reg	800
NOCHECK_CALL

kernel/bpf/verifier.c set_task_work_schedule_callback_state() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	5
BUF_SIZE	0	reg	720
NOCHECK_CALL

kernel/bpf/verifier.c set_task_work_schedule_callback_state() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	4
BUF_SIZE	0	reg	640
NOCHECK_CALL

kernel/bpf/verifier.c set_timer_callback_state() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	3
BUF_SIZE	0	reg	800
NOCHECK_CALL

kernel/bpf/verifier.c set_timer_callback_state() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	5
BUF_SIZE	0	reg	720
NOCHECK_CALL

kernel/bpf/verifier.c set_timer_callback_state() -> __mark_reg_known_zero()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	4
BUF_SIZE	0	reg	640
NOCHECK_CALL