Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/hv/channel.c vmbus_close() -> vmbus_free_ring()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->close_msg.header.msgtype 7
PARAM_VALUE 0 channel->onchannel_callback 0
PARAM_VALUE 0 channel->primary_channel 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.decrypted 0
PARAM_VALUE 0 channel->sc_creation_callback 0
PARAM_VALUE 0 channel->sched_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->state 2
CAPPED_DATA 0 channel->requestor.req_arr 1
CAPPED_DATA 0 channel->requestor.req_bitmap 1
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size
HALF_LOCKED2 &child_device->mutex

drivers/hv/channel.c vmbus_disconnect_ring() -> vmbus_free_ring()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->close_msg.header.msgtype 7
PARAM_VALUE 0 channel->onchannel_callback 0
PARAM_VALUE 0 channel->sc_creation_callback 0
PARAM_VALUE 0 channel->sched_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->state 2
CAPPED_DATA 0 channel->requestor.req_arr 1
CAPPED_DATA 0 channel->requestor.req_bitmap 1
CAPPED_DATA 0 &channel->sc_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vmbus_connection.channel_mutex
HALF_LOCKED2 &idev->info_lock
TYPE_LOCK (struct vmbus_connection)->channel_mutex

drivers/hv/channel.c vmbus_open() -> vmbus_free_ring()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 channel->ringbuffer_send_offset 0-1048575
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size
HALF_LOCKED2 sk

drivers/uio/uio_hv_generic.c hv_uio_probe() -> vmbus_free_ring()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->callback_mode 2
PARAM_VALUE 0 channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 channel->ringbuffer_send_offset 0-1048575
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/uio/uio_hv_generic.c hv_uio_remove() -> vmbus_free_ring()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->mmap_prepare_ring_buffer 0
PARAM_VALUE 0 channel->ring_sysfs_visible 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex