Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c check_max_stack_depth_subprog() -> round_up_stack_depth()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->prog 4096-ptr_max
PARAM_VALUE 1 stack_depth 0-u16max
CAPPED_DATA 0 env->subprog_cnt 1
DATA_SOURCE 0 env $0
NO_OVERFLOW_SIMPLE 0 env->log.kbuf
NO_OVERFLOW_SIMPLE 0 env->subprog_cnt

kernel/bpf/verifier.c check_max_stack_depth_subprog() -> round_up_stack_depth()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->prog 4096-ptr_max
PARAM_VALUE 1 stack_depth 0-u16max
CAPPED_DATA 0 env->subprog_cnt 1
DATA_SOURCE 0 env $0
NO_OVERFLOW_SIMPLE 0 env->log.kbuf
NO_OVERFLOW_SIMPLE 0 env->subprog_cnt