Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c check_atomic_rmw() -> argno_from_reg()

Type Parameter Key Value

kernel/bpf/verifier.c check_atomic_rmw() -> argno_from_reg()

Type Parameter Key Value

kernel/bpf/verifier.c check_atomic_rmw() -> argno_from_reg()

Type Parameter Key Value

kernel/bpf/verifier.c check_func_arg() -> argno_from_reg()

Type Parameter Key Value
PARAM_VALUE 0 regno 1-5

kernel/bpf/verifier.c check_func_arg() -> argno_from_reg()

Type Parameter Key Value
PARAM_VALUE 0 regno 1-5

kernel/bpf/verifier.c check_func_arg() -> argno_from_reg()

Type Parameter Key Value
PARAM_VALUE 0 regno 0-4

kernel/bpf/verifier.c check_func_arg() -> argno_from_reg()

Type Parameter Key Value
PARAM_VALUE 0 regno 0-4

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

Type Parameter Key Value

kernel/bpf/verifier.c check_load_mem() -> argno_from_reg()

Type Parameter Key Value

kernel/bpf/verifier.c check_ptr_off_reg() -> argno_from_reg()

Type Parameter Key Value
PARAM_VALUE 0 regno 6
DATA_SOURCE 0 regno $2

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

Type Parameter Key Value
PARAM_VALUE 0 regno 0-1
DATA_SOURCE 0 regno $1

kernel/bpf/verifier.c check_store_reg() -> argno_from_reg()

Type Parameter Key Value

kernel/bpf/verifier.c do_check_insn() -> argno_from_reg()

Type Parameter Key Value

kernel/bpf/verifier.c map_kptr_match_type() -> argno_from_reg()

Type Parameter Key Value
DATA_SOURCE 0 regno $3

kernel/bpf/verifier.c process_map_ptr_arg() -> argno_from_reg()

Type Parameter Key Value

kernel/bpf/verifier.c sanitize_check_bounds() -> argno_from_reg()

Type Parameter Key Value
PARAM_VALUE 0 regno 0-15