Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/syscall.c map_lookup_and_delete_elem() -> (struct bpf_map_ops)->map_pop_elem()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->key_size 0-s32max
PARAM_VALUE 0 map->map_type 22-23
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 1 value 1-18446744073709551614
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 1 value 0-u32max
BUF_SIZE 1 value 0-u32max
CAPPED_DATA 0 map->key_size 1
DATA_SOURCE 0 map r __bpf_map_get
DATA_SOURCE 1 value r __kvmalloc_node_noprof
CONTAINER 0 -128-32+0 $(-1)
BIT_INFO 0 map->map_type 0x16,0x17

kernel/bpf/helpers.c ____bpf_map_pop_elem() -> (struct bpf_map_ops)->map_pop_elem()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
DATA_SOURCE 0 map $0
DATA_SOURCE 1 value $1
CONTAINER 0 -128-32+0 $(-1)