Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

drivers/net/hyperv/netvsc.c netvsc_device_add() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->callback_mode 2
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 channel->onchannel_callback 2804213752697405440
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
CAPPED_DATA 0 channel->outbound.ring_datasize 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 channel->inbound.ring_buffer->interrupt_mask 0-1
PARAM_VALUE 0 channel->inbound.ring_buffer->pending_send_sz 0,4120
PARAM_VALUE 0 channel->outbound.ring_buffer->interrupt_mask 0-1
PARAM_VALUE 0 channel->outbound.ring_buffer->pending_send_sz 0,4120
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size
HALF_LOCKED2 global &rtnl_mutex

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_connect_vsp() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->onchannel_callback 7004654697074348032
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
CAPPED_DATA 0 channel->outbound.ring_datasize 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

drivers/hv/hv_balloon.c balloon_connect_vsp() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->onchannel_callback 7683237551853801472
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

drivers/hv/hv_balloon.c balloon_probe() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 channel->inbound.priv_read_index 0
PARAM_VALUE 0 channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 channel->inbound.ring_buffer->read_index 0
PARAM_VALUE 0 channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 channel->max_pkt_size 8192
PARAM_VALUE 0 channel->onchannel_callback 7683237551853801472
PARAM_VALUE 0 channel->out_full_flag 0
PARAM_VALUE 0 channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 channel->outbound.priv_read_index 0
PARAM_VALUE 0 channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
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

drivers/hv/hv_balloon.c balloon_remove() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex

drivers/hv/hv_balloon.c balloon_resume() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 channel->inbound.priv_read_index 0
PARAM_VALUE 0 channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 channel->inbound.ring_buffer->read_index 0
PARAM_VALUE 0 channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 channel->max_pkt_size 8192
PARAM_VALUE 0 channel->onchannel_callback 7683237551853801472
PARAM_VALUE 0 channel->out_full_flag 0
PARAM_VALUE 0 channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 channel->outbound.priv_read_index 0
PARAM_VALUE 0 channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
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

drivers/hv/hv_balloon.c balloon_suspend() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/controller/pci-hyperv.c hv_pci_probe() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 channel->onchannel_callback 937436374065942528
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->rqstor_size 64
PARAM_VALUE 0 channel->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

drivers/pci/controller/pci-hyperv.c hv_pci_remove() -> vmbus_close()

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

drivers/pci/controller/pci-hyperv.c hv_pci_resume() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 channel->onchannel_callback 937436374065942528
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->rqstor_size 64
PARAM_VALUE 0 channel->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

drivers/pci/controller/pci-hyperv.c hv_pci_suspend() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hv/hv_util.c util_probe() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->callback_mode 1
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->onchannel_callback 171846604625813504,2484113570306744320,2774025290876456960,4206062080891756544,6548845417935405056
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->requestor.next_request_id 0
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

drivers/hv/hv_util.c util_remove() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex

drivers/hv/hv_util.c util_suspend() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/storvsc_drv.c storvsc_connect_to_vsp() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->next_request_id_callback 8509489111166754816
PARAM_VALUE 0 channel->onchannel_callback 7496338894713946112
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

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

Type Parameter Key Value
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/scsi/storvsc_drv.c storvsc_suspend() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/vmw_vsock/hyperv_transport.c hvs_remove() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex

drivers/gpu/drm/hyperv/hyperv_drm_drv.c hv_drm_vmbus_probe() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 channel->inbound.priv_read_index 0
PARAM_VALUE 0 channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 channel->inbound.ring_buffer->read_index 0
PARAM_VALUE 0 channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->onchannel_callback 7004654697074348032
PARAM_VALUE 0 channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 channel->outbound.priv_read_index 0
PARAM_VALUE 0 channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
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

drivers/gpu/drm/hyperv/hyperv_drm_drv.c hv_drm_vmbus_remove() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex

drivers/gpu/drm/hyperv/hyperv_drm_drv.c hv_drm_vmbus_suspend() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/input/serio/hyperv-keyboard.c hv_kbd_probe() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->onchannel_callback 8324241422918828032
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
CAPPED_DATA 0 channel->outbound.ring_datasize 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

drivers/input/serio/hyperv-keyboard.c hv_kbd_remove() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex

drivers/input/serio/hyperv-keyboard.c hv_kbd_suspend() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hid/hid-hyperv.c mousevsc_probe() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->onchannel_callback 28953933897322496
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
CAPPED_DATA 0 channel->outbound.ring_datasize 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size

drivers/hid/hid-hyperv.c mousevsc_remove() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex

drivers/hid/hid-hyperv.c mousevsc_suspend() -> vmbus_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/uio/uio_hv_generic.c hv_uio_new_channel() -> vmbus_close()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->callback_mode 2
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->mmap_prepare_ring_buffer 6672765399233593344
PARAM_VALUE 0 channel->onchannel_callback 3501775397551419392
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->primary_channel 4096-ptr_max
PARAM_VALUE 0 channel->primary_channel->sc_creation_callback 1-u64max
PARAM_VALUE 0 channel->requestor.next_request_id 0
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ring_sysfs_visible 1
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.gpadl_handle 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
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
PARAM_VALUE 0 channel->state 3
DATA_SOURCE 0 channel $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size
HALF_LOCKED2 &pool->lock