Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c __check_func_arg_reg_off() -> arg_type_is_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-8,10-u32max |
| DATA_SOURCE | 0 | type | $3 |
| FUZZY_MAX | 0 | type | 23 |
kernel/bpf/verifier.c check_func_arg() -> arg_type_is_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
kernel/bpf/verifier.c check_proto_release_reg() -> arg_type_is_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
kernel/bpf/verifier.c check_reg_type() -> arg_type_is_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
| DATA_SOURCE | 0 | type | $3 |
kernel/bpf/verifier.c check_reg_type() -> arg_type_is_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 256-u32max |
| DATA_SOURCE | 0 | type | $3 |