Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ndev->threaded 0
PARAM_VALUE 0 dev->state 0
PARAM_VALUE 1 nvdev 4096-ptr_max
PARAM_VALUE 1 nvdev->chan_table 4096-ptr_max
PARAM_VALUE 1 nvdev->channel_init_pkt.hdr.msg_type 104
PARAM_VALUE 1 nvdev->channel_init_wait.done 0-4294967293,u32max
PARAM_VALUE 1 nvdev->channel_init_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 nvdev->channel_init_wait.wait.lock.owner (-1)
PARAM_VALUE 1 nvdev->channel_init_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 1 nvdev->channel_init_wait.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 nvdev->channel_init_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 nvdev->channel_init_wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 nvdev->channel_init_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 nvdev->channel_init_wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 nvdev->channel_init_wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 nvdev->destroy 0
PARAM_VALUE 1 nvdev->extension 4096-ptr_max
PARAM_VALUE 1 nvdev->extension->state 0
PARAM_VALUE 1 nvdev->max_chn 1
PARAM_VALUE 1 nvdev->max_pkt 8
PARAM_VALUE 1 nvdev->num_chn 1
PARAM_VALUE 1 nvdev->pkt_align 8
PARAM_VALUE 1 nvdev->recv_buf 1-u64max
PARAM_VALUE 1 nvdev->recv_buf_gpadl_handle.buffer 1-u64max
PARAM_VALUE 1 nvdev->recv_section_size 68-4000000
PARAM_VALUE 1 nvdev->send_buf 1-u64max
PARAM_VALUE 1 nvdev->send_buf_gpadl_handle.buffer 1-u64max
PARAM_VALUE 1 nvdev->send_section_map 16,4096-ptr_max
PARAM_VALUE 1 nvdev->subchan_open.head.next 4096-ptr_max
PARAM_VALUE 1 nvdev->subchan_open.head.next->next 4096-ptr_max
PARAM_VALUE 1 nvdev->subchan_open.head.prev 4096-ptr_max
PARAM_VALUE 1 nvdev->subchan_open.head.prev->next 4096-ptr_max
PARAM_VALUE 1 nvdev->subchan_open.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 nvdev->tx_disable 1
PARAM_VALUE 1 nvdev->wait_drain.head.next 4096-ptr_max
PARAM_VALUE 1 nvdev->wait_drain.head.next->next 4096-ptr_max
PARAM_VALUE 1 nvdev->wait_drain.head.prev 4096-ptr_max
PARAM_VALUE 1 nvdev->wait_drain.head.prev->next 4096-ptr_max
PARAM_VALUE 1 nvdev->wait_drain.head.prev->prev 4096-ptr_max
BUF_SIZE 0 dev 240
BUF_SIZE 0 dev->ndev s32min-(-2),1-s32max
BUF_SIZE 1 nvdev 488128
BUF_SIZE 1 nvdev->extension 240
DATA_SOURCE 0 dev r get_rndis_device
DATA_SOURCE 1 nvdev r netvsc_device_add
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 nvdev->recv_buf_gpadl_handle.size
NO_OVERFLOW_SIMPLE 1 nvdev->send_buf_gpadl_handle.size
HALF_LOCKED2 global &rtnl_mutex