Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/pktgen.c pktgen_add_device() -> free_SAs()

Type Parameter Key Value
PARAM_VALUE 0 pkt_dev 4096-ptr_max
PARAM_VALUE 0 pkt_dev->burst 1
PARAM_VALUE 0 pkt_dev->count 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 pkt_dev->delay 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 pkt_dev->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 pkt_dev->dev_tracker->dead 0-1
PARAM_VALUE 0 pkt_dev->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 pkt_dev->entry 0
PARAM_VALUE 0 pkt_dev->flags 262144
PARAM_VALUE 0 pkt_dev->flows 1-u64max
PARAM_VALUE 0 pkt_dev->nfrags 0
PARAM_VALUE 0 pkt_dev->node (-1)
PARAM_VALUE 0 pkt_dev->odev 0,4096-ptr_max
PARAM_VALUE 0 pkt_dev->odev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 pkt_dev->odev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 pkt_dev->odev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pkt_dev->odev->type 1,772
PARAM_VALUE 0 pkt_dev->removal_mark 0
PARAM_VALUE 0 pkt_dev->sofar 0
PARAM_VALUE 0 pkt_dev->svlan_cfi 0
PARAM_VALUE 0 pkt_dev->svlan_id u16max
PARAM_VALUE 0 pkt_dev->svlan_p 0
PARAM_VALUE 0 pkt_dev->udp_dst_max 9
PARAM_VALUE 0 pkt_dev->udp_dst_min 9
PARAM_VALUE 0 pkt_dev->udp_src_max 9
PARAM_VALUE 0 pkt_dev->udp_src_min 9
PARAM_VALUE 0 pkt_dev->vlan_cfi 0
PARAM_VALUE 0 pkt_dev->vlan_id u16max
PARAM_VALUE 0 pkt_dev->vlan_p 0
BUF_SIZE 0 pkt_dev 2368
BUF_SIZE 0 pkt_dev->flows 1572864
DATA_SOURCE 0 pkt_dev r _kmalloc_node_noprof
BIT_INFO 0 pkt_dev->count 0x0,0xffffffff
BIT_INFO 0 pkt_dev->delay 0x0,0xffffffff
NOCHECK_CALL
LOCK2 global &pktgen_thread_lock

net/core/pktgen.c pktgen_remove_device() -> free_SAs()

Type Parameter Key Value
PARAM_VALUE 0 pkt_dev 4096-ptr_max
PARAM_VALUE 0 pkt_dev->entry 0,4096-ptr_max
PARAM_VALUE 0 pkt_dev->entry->parent->nlink 0-4294967295
PARAM_VALUE 0 pkt_dev->odev 0
PARAM_VALUE 0 pkt_dev->running 0
PARAM_VALUE 0 pkt_dev->skb 0
PARAM_VALUE 0 *pkt_dev->entry->name 0-255
CAPPED_DATA 0 pkt_dev 1
DATA_SOURCE 0 pkt_dev $1
TASK_NOT_RUNNING
NOCHECK_CALL