Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/cpumap.c cpu_map_lookup_elem() -> __cpu_map_lookup_elem()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_lookup_batch 0,631431616227323904,968212869968297984,3636988385139924992,5229998854994575360,6341067303080312832,6609440822477774848
PARAM_VALUE 0 map->ops->map_lookup_elem_sys_only 0,1844650555866931200,2797019561733431296,5735237356065062912,8538665627833008128
PARAM_VALUE 0 map->ops->map_release 0,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 $0
USER_DATA 1 key 0-u32max
HALF_LOCKED2 rcu_read

kernel/bpf/devmap.c __bpf_xdp_redirect_map() -> __bpf_xdp_redirect_map param 4()

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 key $1

kernel/bpf/cpumap.c __bpf_xdp_redirect_map() -> __bpf_xdp_redirect_map param 4()

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 key $1

net/xdp/xskmap.c __bpf_xdp_redirect_map() -> __bpf_xdp_redirect_map param 4()

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 key $1