Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/hyperv/rndis_filter.c rndis_netdev_set_hwcaps() -> rndis_query_hwcaps()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hw_mac_adr 1-u64max
PARAM_VALUE 0 dev->ndev 4096-ptr_max
PARAM_VALUE 0 dev->ndev->threaded 0
PARAM_VALUE 0 dev->req_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->request_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->state 2
PARAM_VALUE 0 *dev->hw_mac_adr 0-255
PARAM_VALUE 1 net_device 4096-ptr_max
PARAM_VALUE 1 net_device->chan_table 4096-ptr_max
PARAM_VALUE 1 net_device->channel_init_pkt.hdr.msg_type 104
PARAM_VALUE 1 net_device->channel_init_wait.done 0-4294967293,u32max
PARAM_VALUE 1 net_device->channel_init_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 net_device->channel_init_wait.wait.lock.owner (-1)
PARAM_VALUE 1 net_device->channel_init_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 1 net_device->channel_init_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 net_device->channel_init_wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 net_device->channel_init_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 net_device->channel_init_wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 net_device->channel_init_wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 net_device->destroy 0
PARAM_VALUE 1 net_device->extension 4096-ptr_max
PARAM_VALUE 1 net_device->extension->state 0
PARAM_VALUE 1 net_device->max_chn 1
PARAM_VALUE 1 net_device->netvsc_gso_max_size 65536
PARAM_VALUE 1 net_device->num_chn 1
PARAM_VALUE 1 net_device->recv_buf 1-u64max
PARAM_VALUE 1 net_device->recv_buf_gpadl_handle.buffer 1-u64max
PARAM_VALUE 1 net_device->recv_section_size 68-4000000
PARAM_VALUE 1 net_device->send_buf 1-u64max
PARAM_VALUE 1 net_device->send_buf_gpadl_handle.buffer 1-u64max
PARAM_VALUE 1 net_device->send_section_map 16,4096-ptr_max
PARAM_VALUE 1 net_device->subchan_open.head.next 4096-ptr_max
PARAM_VALUE 1 net_device->subchan_open.head.next->next 4096-ptr_max
PARAM_VALUE 1 net_device->subchan_open.head.prev 4096-ptr_max
PARAM_VALUE 1 net_device->subchan_open.head.prev->next 4096-ptr_max
PARAM_VALUE 1 net_device->subchan_open.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 net_device->tx_disable 1
PARAM_VALUE 1 net_device->wait_drain.head.next 4096-ptr_max
PARAM_VALUE 1 net_device->wait_drain.head.next->next 4096-ptr_max
PARAM_VALUE 1 net_device->wait_drain.head.prev 4096-ptr_max
PARAM_VALUE 1 net_device->wait_drain.head.prev->next 4096-ptr_max
PARAM_VALUE 1 net_device->wait_drain.head.prev->prev 4096-ptr_max
PARAM_VALUE 2 caps 6075365093439406080
BUF_SIZE 0 dev 240
BUF_SIZE 0 dev->ndev s32min-(-2),1-s32max
BUF_SIZE 1 net_device 488128
BUF_SIZE 1 net_device->extension 240
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 net_device $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 net_device->recv_buf_gpadl_handle.size
NO_OVERFLOW_SIMPLE 1 net_device->send_buf_gpadl_handle.size
HALF_LOCKED2 global &rtnl_mutex