Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- kernel/bpf/bpf_struct_ops.c, line 699
- kernel/bpf/dispatcher.c, line 161
- kernel/bpf/trampoline.c, line 690
Smatch caller information:
kernel/bpf/dispatcher.c bpf_dispatcher_change_prog() -> bpf_image_ksym_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ksym | 7868577310581396416 |
| PARAM_VALUE | 0 | ksym->start | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &d->mutex | ||
| TYPE_LOCK | (struct bpf_dispatcher)->mutex |
kernel/bpf/trampoline.c bpf_tramp_image_alloc() -> bpf_image_ksym_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ksym | 4096-ptr_max |
| PARAM_VALUE | 0 | ksym->lnode.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ksym->lnode.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ksym->lnode.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ksym->lnode.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ksym->lnode.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ksym->start | 1-u64max |
| BUF_SIZE | 0 | ksym | 608 |
| STR_LEN | 0 | ksym->name | 511 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &direct_mutex |
kernel/bpf/bpf_struct_ops.c bpf_struct_ops_map_add_ksyms() -> bpf_image_ksym_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ksym | 1-u64max |
| NOCHECK_CALL |