Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/verifier.c check_return_code() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c init_func_state() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 0

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 1
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 3

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 3

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 0

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 0

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 1
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c return_retval_range() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 0

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

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c set_loop_callback_state() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c set_map_elem_callback_state() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

kernel/bpf/verifier.c set_rbtree_add_callback_state() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1

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

Type Parameter Key Value
PARAM_VALUE 0 minval s32min
PARAM_VALUE 1 maxval s32max

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

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 0

kernel/bpf/verifier.c set_user_ringbuf_callback_state() -> retval_range()

Type Parameter Key Value
PARAM_VALUE 0 minval 0
PARAM_VALUE 1 maxval 1