Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/bpf/states.c __clean_func_state() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1 |
| BUF_SIZE | 0 | reg | 80 |
kernel/bpf/verifier.c btf_check_func_arg_match() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 0-1048592,2097168,4718608,6815760 |
| DATA_SOURCE | 0 | reg | r get_func_arg_reg |
kernel/bpf/verifier.c btf_check_func_arg_match() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| DATA_SOURCE | 0 | reg | r get_func_arg_reg |
kernel/bpf/verifier.c check_func_arg() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| DATA_SOURCE | 0 | reg | r reg_state |
kernel/bpf/verifier.c check_func_arg() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 0-1048592,2097168,4718608,6815760 |
| DATA_SOURCE | 0 | reg | r reg_state |
kernel/bpf/verifier.c check_func_arg() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 0-1048592,2097168,4718608,6815760 |
| DATA_SOURCE | 0 | reg | r reg_state |
kernel/bpf/verifier.c check_helper_call() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| BUF_SIZE | 0 | reg | 720 |
kernel/bpf/verifier.c check_helper_mem_access() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| DATA_SOURCE | 0 | reg | $1 |
kernel/bpf/verifier.c check_kfunc_args() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| DATA_SOURCE | 0 | reg | r get_func_arg_reg |
kernel/bpf/verifier.c check_kfunc_args() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1,256-u32max |
| DATA_SOURCE | 0 | reg | r get_func_arg_reg |
kernel/bpf/verifier.c check_kfunc_args() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1,256-u32max |
| DATA_SOURCE | 0 | reg | r get_func_arg_reg |
kernel/bpf/verifier.c check_map_kptr_access() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| DATA_SOURCE | 0 | reg | r reg_state |
kernel/bpf/verifier.c check_mem_reg() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 0-1048592,2097168,4718608,6815760 |
| DATA_SOURCE | 0 | reg | $1 |
kernel/bpf/verifier.c check_stack_write_fixed_off() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 0-1 |
kernel/bpf/verifier.c check_stack_write_var_off() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
kernel/bpf/verifier.c loop_flag_is_zero() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| BUF_SIZE | 0 | reg | 560 |
| BUF_SIZE | 0 | reg | 560 |
| DATA_SOURCE | 0 | reg | r reg_state |
kernel/bpf/verifier.c mark_reg_stack_read() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c release_reg() -> bpf_register_is_null()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | reg | $1 |