Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/storvsc_drv.c storvsc_probe() -> storvsc_dev_remove()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->channel 4096-ptr_max
PARAM_VALUE 0 device->channel->change_target_cpu_callback 8262393111810785280
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 80
PARAM_VALUE 0 device->channel->next_request_id_callback 8509489111166754816
PARAM_VALUE 0 device->channel->onchannel_callback 7496338894713946112
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_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->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 device->channel->requestor.req_bitmap 16,4096-ptr_max
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.gpadl_handle 0
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->sc_creation_callback 300983258260160512
PARAM_VALUE 0 device->channel->state 3
PARAM_VALUE 0 device->dev_instance.b 4096-ptr_max
PARAM_VALUE 0 device->device.dma_parms->min_align_mask 4095
PARAM_VALUE 0 device->device.driver_data->destroy 0
CAPPED_DATA 0 &device->device 1
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

drivers/scsi/storvsc_drv.c storvsc_remove() -> storvsc_dev_remove()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
DATA_SOURCE 0 device $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex