Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/hyperv/netvsc.c netvsc_init_buf() -> netvsc_alloc_recv_comp_ring()

Type Parameter Key Value
PARAM_VALUE 0 net_device 4096-ptr_max
PARAM_VALUE 0 net_device->chan_table 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_pkt.hdr.msg_type 101
PARAM_VALUE 0 net_device->channel_init_pkt.msg.v1_msg.send_recv_buf.id 51966
PARAM_VALUE 0 net_device->channel_init_wait.done 0-4294967293,u32max
PARAM_VALUE 0 net_device->channel_init_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 net_device->channel_init_wait.wait.lock.owner (-1)
PARAM_VALUE 0 net_device->channel_init_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 net_device->destroy 0
PARAM_VALUE 0 net_device->max_pkt 8
PARAM_VALUE 0 net_device->pkt_align 8
PARAM_VALUE 0 net_device->recv_buf 1-u64max
PARAM_VALUE 0 net_device->recv_buf_gpadl_handle.buffer 1-u64max
PARAM_VALUE 0 net_device->recv_section_size 68-4000000
PARAM_VALUE 0 net_device->subchan_open.head.next 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.next->next 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.prev 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.prev->next 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 net_device->tx_disable 1
PARAM_VALUE 0 net_device->wait_drain.head.next 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.next->next 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.prev 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.prev->next 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 q_idx 0
BUF_SIZE 0 net_device 488128
BUF_SIZE 0 net_device->recv_buf 0-u32max
DATA_SOURCE 0 net_device $1
FUZZY_MAX 0 net_device->recv_section_size 68
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/hyperv/rndis_filter.c rndis_filter_device_add() -> netvsc_alloc_recv_comp_ring()

Type Parameter Key Value
PARAM_VALUE 0 net_device 4096-ptr_max
PARAM_VALUE 0 net_device->chan_table 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_pkt.hdr.msg_type 104
PARAM_VALUE 0 net_device->channel_init_wait.done 0-4294967293,u32max
PARAM_VALUE 0 net_device->channel_init_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 net_device->channel_init_wait.wait.lock.owner (-1)
PARAM_VALUE 0 net_device->channel_init_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 net_device->channel_init_wait.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 net_device->channel_init_wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 net_device->destroy 0
PARAM_VALUE 0 net_device->extension 4096-ptr_max
PARAM_VALUE 0 net_device->extension->state 0
PARAM_VALUE 0 net_device->max_chn 0-64
PARAM_VALUE 0 net_device->netvsc_gso_max_size 65536
PARAM_VALUE 0 net_device->num_chn 2-64
PARAM_VALUE 0 net_device->nvsp_version 327680-u32max
PARAM_VALUE 0 net_device->open_chn.counter 1
PARAM_VALUE 0 net_device->recv_buf 1-u64max
PARAM_VALUE 0 net_device->recv_buf_gpadl_handle.buffer 1-u64max
PARAM_VALUE 0 net_device->recv_section_size 68-4000000
PARAM_VALUE 0 net_device->send_buf 1-u64max
PARAM_VALUE 0 net_device->send_buf_gpadl_handle.buffer 1-u64max
PARAM_VALUE 0 net_device->send_section_map 16,4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.next 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.next->next 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.prev 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.prev->next 4096-ptr_max
PARAM_VALUE 0 net_device->subchan_open.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 net_device->tx_disable 1
PARAM_VALUE 0 net_device->wait_drain.head.next 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.next->next 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.prev 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.prev->next 4096-ptr_max
PARAM_VALUE 0 net_device->wait_drain.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 q_idx 1-63
BUF_SIZE 0 net_device 488128
BUF_SIZE 0 net_device->extension 240
CAPPED_DATA 0 net_device->max_chn 1
CAPPED_DATA 0 net_device->num_chn 1
CAPPED_DATA 1 q_idx 1
DATA_SOURCE 0 net_device r netvsc_device_add
FUZZY_MAX 0 net_device->nvsp_version 327680
PARAM_COMPARE 1 q_idx < $0->num_chn
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 net_device->recv_buf_gpadl_handle.size
NO_OVERFLOW_SIMPLE 0 net_device->send_buf_gpadl_handle.size
NO_OVERFLOW_SIMPLE 1 q_idx
UNITS 1 q_idx unit_array_size
HALF_LOCKED2 global &rtnl_mutex