Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/hyperv/netvsc.c netvsc_device_remove() -> netvsc_revoke_send_buf()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->channel->inbound.ring_buffer->interrupt_mask 0-1
PARAM_VALUE 0 device->channel->inbound.ring_buffer->pending_send_sz 0,4120
PARAM_VALUE 0 device->channel->outbound.ring_buffer->interrupt_mask 0-1
PARAM_VALUE 0 device->channel->outbound.ring_buffer->pending_send_sz 0,4120
PARAM_VALUE 0 device->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 net_device 4096-ptr_max
PARAM_VALUE 1 net_device->revoke_packet.hdr.msg_type 103
PARAM_VALUE 1 net_device->revoke_packet.msg.v1_msg.revoke_recv_buf.id 51966
PARAM_VALUE 2 ndev->priv->nvdev->revoke_packet.hdr.msg_type 103
PARAM_VALUE 2 ndev->priv->nvdev->revoke_packet.msg.v1_msg.revoke_recv_buf.id 51966
PARAM_VALUE 2 *ndev->name 0-255
BUF_SIZE 2 ndev s32min-(-2),1-s32max
BUF_SIZE 2 ndev s32min-(-2),1-s32max
DATA_SOURCE 0 device $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 device->channel->requestor.size
NO_OVERFLOW_SIMPLE 0 device->channel->rqstor_size
UNITS 2 ndev unit_byte
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->channel 4096-ptr_max
PARAM_VALUE 0 device->channel->callback_mode 2
PARAM_VALUE 0 device->channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 device->channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 device->channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 device->channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 device->channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 device->channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 device->channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 device->channel->max_pkt_size 1-u32max
PARAM_VALUE 0 device->channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 device->channel->onchannel_callback 2804213752697405440
PARAM_VALUE 0 device->channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 device->channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 device->channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 device->channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 device->channel->outbound.ring_buffer->interrupt_mask 0
PARAM_VALUE 0 device->channel->outbound.ring_buffer->read_index 0
PARAM_VALUE 0 device->channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 device->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 device->channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 device->channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 device->channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 device->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->channel->requestor.size 1-u32max
PARAM_VALUE 0 device->channel->rescind 0
PARAM_VALUE 0 device->channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 device->channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
PARAM_VALUE 0 device->channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 device->channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 device->channel->ringbuffer_send_offset 0-1048575
PARAM_VALUE 0 device->channel->state 3
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 100-101,104
PARAM_VALUE 1 net_device->channel_init_pkt.msg.v1_msg.send_ndis_ver.ndis_major_ver 0,6
PARAM_VALUE 1 net_device->channel_init_pkt.msg.v1_msg.send_ndis_ver.ndis_minor_ver 0-1,30
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->max_pkt 8
PARAM_VALUE 1 net_device->pkt_align 8
PARAM_VALUE 1 net_device->revoke_packet.hdr.msg_type 103
PARAM_VALUE 1 net_device->revoke_packet.msg.v1_msg.revoke_recv_buf.id 51966
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 *ndev->name 0-255
BUF_SIZE 1 net_device 488128
BUF_SIZE 1 net_device->recv_buf 0-u32max
BUF_SIZE 1 net_device->send_buf 0-u32max,u64max
BUF_SIZE 2 ndev s32min-(-2),1-s32max
BUF_SIZE 2 ndev s32min-(-2),1-s32max
CAPPED_DATA 0 device->channel->outbound.ring_datasize 1
DATA_SOURCE 0 device $0
DATA_SOURCE 1 net_device $1
FUZZY_MAX 1 net_device->channel_init_pkt.hdr.msg_type 104
FUZZY_MAX 1 net_device->channel_init_pkt.msg.v1_msg.send_ndis_ver.ndis_major_ver 0
FUZZY_MAX 1 net_device->channel_init_pkt.msg.v1_msg.send_ndis_ver.ndis_minor_ver 30
HARD_MAX 1 net_device->channel_init_pkt.hdr.msg_type 104
HARD_MAX 1 net_device->channel_init_pkt.msg.v1_msg.send_ndis_ver.ndis_major_ver 6
HARD_MAX 1 net_device->channel_init_pkt.msg.v1_msg.send_ndis_ver.ndis_minor_ver 30
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 device->channel->requestor.size
NO_OVERFLOW_SIMPLE 0 device->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 device->channel->rqstor_size
UNITS 2 ndev unit_byte
HALF_LOCKED2 global &rtnl_mutex