Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 9 files:
- drivers/net/ethernet/netronome/nfp/bpf/offload.c, line 49
- kernel/bpf/arraymap.c, line 1168
- kernel/bpf/bpf_struct_ops.c
- kernel/bpf/map_in_map.c, line 110
- kernel/bpf/syscall.c
- kernel/bpf/verifier.c, line 17888
- kernel/sched/ext/ext.c, line 8086
- net/xdp/xsk.c, line 1496
- net/xdp/xskmap.c, line 25
Smatch caller information:
kernel/bpf/arraymap.c prog_array_map_clear() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | map | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &sockmap_mutex |
kernel/bpf/syscall.c bpf_map_get() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 0-ptr_max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | map | r __bpf_map_get |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &nlk->nl_cb_mutex |
net/xdp/xskmap.c xsk_map_node_alloc() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| NOCHECK_CALL |
net/xdp/xsk.c xsk_get_map_list_entry() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &xs->map_list_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct xdp_sock)->map_list_lock |
kernel/bpf/map_in_map.c bpf_map_fd_get_ptr() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | map->key_size | 1 |
| CAPPED_DATA | 0 | map->map_flags | 1 |
| CAPPED_DATA | 0 | map->map_type | 1 |
| CAPPED_DATA | 0 | map->value_size | 1 |
| DATA_SOURCE | 0 | map | r __bpf_map_get |
| NOCHECK_CALL |
kernel/bpf/verifier.c __add_used_map() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | map | 1 |
| DATA_SOURCE | 0 | map | $1 |
| NOCHECK_CALL |
kernel/bpf/bpf_struct_ops.c bpf_prog_assoc_struct_ops() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | map | $1 |
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |
kernel/bpf/bpf_struct_ops.c bpf_struct_ops_map_link_update() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | map | $1 |
| NOCHECK_CALL | |||
| LOCK2 | global &update_mutex |
kernel/bpf/bpf_struct_ops.c bpf_struct_ops_map_update_elem() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| DATA_SOURCE | 0 | map | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &st_map->lock | ||
| TYPE_LOCK | (struct bpf_struct_ops_map)->lock |
drivers/net/ethernet/netronome/nfp/bpf/offload.c nfp_map_ptr_record() -> bpf_map_inc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | map | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &prog->aux->used_maps_mutex | ||
| LOCK2 | global &bpf_devs_lock | ||
| TYPE_LOCK | (struct bpf_prog_aux)->used_maps_mutex |