Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/hyperv/rndis_filter.c rndis_filter_device_remove() -> netvsc_device_remove()

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
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->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 device->channel->rqstor_size
HALF_LOCKED2 &child_device->mutex
HALF_LOCKED2 global &rtnl_mutex