Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xdp/xskmap.c xsk_map_sock_delete() -> xsk_map_node_free()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->map_entry 4096-ptr_max
CAPPED_DATA 0 node->map_entry 1
CAPPED_DATA 0 &node->node 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &xs->map_list_lock
LOCK2 bh
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &map->lock
TYPE_LOCK (struct xdp_sock)->map_list_lock
TYPE_LOCK (struct xsk_map)->lock

net/xdp/xskmap.c xsk_map_update_elem() -> xsk_map_node_free()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->map 4096-ptr_max
PARAM_VALUE 0 node->map->map.max_entries 1-u32max
PARAM_VALUE 0 node->map->map.objcg 0,4096-ptr_max
PARAM_VALUE 0 node->map_entry 4096-ptr_max
BUF_SIZE 0 node 32
DATA_SOURCE 0 node r xsk_map_node_alloc
NOCHECK_CALL