Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/stackmap.c stack_map_lookup_and_delete_elem() -> bpf_stackmap_extract()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->map_type 1,5,7,9-10,35
PARAM_VALUE 1 key 0,16,4096-ptr_max
PARAM_VALUE 2 value 16,4096-ptr_max
PARAM_VALUE 3 delete 1
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 value 0-s32max
BUF_SIZE 2 value 0-s32max
CAPPED_DATA 0 map->key_size 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 key $1
DATA_SOURCE 2 value $2
BIT_INFO 0 map->map_type 0x0,0x2f
USER_DATA 1 *key s64min-s64max
USER_PTR 1 key
LOCK2 rcu_read

kernel/bpf/syscall.c bpf_map_copy_value() -> bpf_stackmap_extract()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->map_type 7
PARAM_VALUE 1 key 0,16,4096-ptr_max
PARAM_VALUE 2 value 16,4096-ptr_max
PARAM_VALUE 3 delete 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 2 value (-1)-s32max
BUF_SIZE 2 value (-1)-s32max
CAPPED_DATA 0 map 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 key $1
DATA_SOURCE 2 value $2
USER_DATA 1 *key s64min-s64max
UNITS 2 value unit_byte
USER_PTR 1 key