Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/liveness.c __arg_track_join() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/liveness.c __arg_track_join() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/liveness.c arg_track_alu64() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | at | $0 |
kernel/bpf/liveness.c arg_track_alu64() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | at | $1 |
kernel/bpf/liveness.c arg_track_join() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | at | 3715401973829869568 |
kernel/bpf/liveness.c compute_subprog_args() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | at | 180 |
kernel/bpf/liveness.c compute_subprog_args() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | at | 4096-ptr_max |
| BUF_SIZE | 0 | at | 170 |
kernel/bpf/liveness.c print_subprog_arg_access() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | at | 180 |
kernel/bpf/liveness.c print_subprog_arg_access() -> arg_is_visited()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | at | 4096-ptr_max |
| BUF_SIZE | 0 | at | 180 |