Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/hyperv/rndis_filter.c rndis_filter_halt_device() -> rndis_filter_send_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->request_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->list_ent.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->pkt.q_idx | 0 |
| PARAM_VALUE | 1 | req->request_msg.ndis_msg_type | 2-5 |
| PARAM_VALUE | 1 | req->wait_event.done | 0 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),240 |
| BUF_SIZE | 0 | dev | (-1),240 |
| BUF_SIZE | 1 | req | 8448 |
| DATA_SOURCE | 0 | dev | $1 |
| DATA_SOURCE | 1 | req | r get_rndis_request |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/hyperv/rndis_filter.c rndis_filter_init_device() -> rndis_filter_send_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->threaded | 0 |
| PARAM_VALUE | 0 | dev->req_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->request_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->state | 1 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->list_ent.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->pkt.q_idx | 0 |
| PARAM_VALUE | 1 | req->request_msg.msg.init_req.major_ver | 1 |
| PARAM_VALUE | 1 | req->request_msg.msg.init_req.max_xfer_size | 16384 |
| PARAM_VALUE | 1 | req->request_msg.ndis_msg_type | 2-5 |
| PARAM_VALUE | 1 | req->wait_event.done | 0 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | 240 |
| BUF_SIZE | 0 | dev->ndev | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | req | 8448 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | req | r get_rndis_request |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/hyperv/rndis_filter.c rndis_filter_query_device() -> rndis_filter_send_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->threaded | 0 |
| PARAM_VALUE | 0 | dev->req_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next->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->ndev->name | 0-255 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->list_ent.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->pkt.q_idx | 0 |
| PARAM_VALUE | 1 | req->request_msg.msg.query_req.info_buf_offset | 20 |
| PARAM_VALUE | 1 | req->request_msg.msg.query_req.info_buflen | 0,18,112,144,156 |
| PARAM_VALUE | 1 | req->request_msg.msg.query_req.oid | 65798-65799,65812,66051,131606,16843009,4227924493 |
| PARAM_VALUE | 1 | req->request_msg.ndis_msg_type | 2-5 |
| PARAM_VALUE | 1 | req->wait_event.done | 0 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),240 |
| BUF_SIZE | 0 | dev | (-1),240 |
| BUF_SIZE | 0 | dev->ndev | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | req | 8448 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | req | r get_rndis_request |
| FUZZY_MAX | 1 | req->request_msg.msg.query_req.info_buflen | 18 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/hyperv/rndis_filter.c rndis_filter_set_device_mac() -> rndis_filter_send_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->req_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->request_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->list_ent.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->pkt.q_idx | 0 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.info_buf_offset | 20 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.info_buflen | 72 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.oid | 66075 |
| PARAM_VALUE | 1 | req->request_msg.ndis_msg_type | 2-5 |
| PARAM_VALUE | 1 | req->wait_event.done | 0 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 1 | req | 8448 |
| DATA_SOURCE | 1 | req | r get_rndis_request |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &dev_addr_sem | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/hyperv/rndis_filter.c rndis_filter_set_offload_params() -> rndis_filter_send_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->req_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->request_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->list_ent.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->pkt.q_idx | 0 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.info_buf_offset | 20 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.info_buflen | 22,28 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.oid | 4227924492 |
| PARAM_VALUE | 1 | req->request_msg.ndis_msg_type | 2-5 |
| PARAM_VALUE | 1 | req->wait_event.done | 0 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),240 |
| BUF_SIZE | 0 | dev | (-1),240 |
| BUF_SIZE | 1 | req | 8448 |
| DATA_SOURCE | 1 | req | r get_rndis_request |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/hyperv/rndis_filter.c rndis_filter_set_packet_filter() -> rndis_filter_send_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->request_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->list_ent.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->pkt.q_idx | 0 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.info_buf_offset | 20 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.info_buflen | 4 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.oid | 65806 |
| PARAM_VALUE | 1 | req->request_msg.ndis_msg_type | 2-5 |
| PARAM_VALUE | 1 | req->wait_event.done | 0 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | *req->request_msg.msg.set_req->info_buf | 0-1,5,9,13,32 |
| BUF_SIZE | 1 | req | 8448 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | req | r get_rndis_request |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/hyperv/rndis_filter.c rndis_set_rss_param_msg() -> rndis_filter_send_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->req_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->request_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->list_ent.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->pkt.q_idx | 0 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.info_buf_offset | 20 |
| PARAM_VALUE | 1 | req->request_msg.msg.set_req.oid | 66052 |
| PARAM_VALUE | 1 | req->request_msg.ndis_msg_type | 2-5 |
| PARAM_VALUE | 1 | req->wait_event.done | 0 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | req->wait_event.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | req->wait_event.wait.task_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 1 | req | 8448 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | req | r get_rndis_request |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->ethtool->rss_lock |