hv_drm_sendpacket identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/gpu/drm/hyperv/hyperv_drm_proto.c, line 194 (as a function)

Referenced in 1 files:

drivers/gpu/drm/hyperv/hyperv_drm_proto.c

Smatch caller information:

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_get_supported_resolution() -> hv_drm_sendpacket()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->channel	4096-ptr_max
PARAM_VALUE	0	hdev->channel->channel_callback_context	4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.pkt_buffer	0,4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.pkt_buffer_size	1-4000000
PARAM_VALUE	0	hdev->channel->inbound.priv_read_index	0
PARAM_VALUE	0	hdev->channel->inbound.ring_buffer	4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.ring_buffer->feature_bits.value	1
PARAM_VALUE	0	hdev->channel->inbound.ring_datasize	0-4294959104,4294963200
PARAM_VALUE	0	hdev->channel->inbound.ring_size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->max_pkt_size	1-u32max
PARAM_VALUE	0	hdev->channel->onchannel_callback	7004654697074348032
PARAM_VALUE	0	hdev->channel->outbound.pkt_buffer	0,4096-ptr_max
PARAM_VALUE	0	hdev->channel->outbound.pkt_buffer_size	1-4000000
PARAM_VALUE	0	hdev->channel->outbound.priv_read_index	0
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer	4096-ptr_max
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->feature_bits.value	1
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->interrupt_mask	0
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->read_index	0
PARAM_VALUE	0	hdev->channel->outbound.ring_datasize	0-4294959104,4294963200
PARAM_VALUE	0	hdev->channel->outbound.ring_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdev->channel->outbound.ring_size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->requestor.req_arr	4096-ptr_max
PARAM_VALUE	0	hdev->channel->requestor.req_bitmap	16,4096-ptr_max
PARAM_VALUE	0	hdev->channel->requestor.size	1-u32max
PARAM_VALUE	0	hdev->channel->rescind	0
PARAM_VALUE	0	hdev->channel->ringbuffer_gpadlhandle.buffer	18379471554275704832,18446612682070032384
PARAM_VALUE	0	hdev->channel->ringbuffer_gpadlhandle.size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->ringbuffer_page	4096-ptr_max
PARAM_VALUE	0	hdev->channel->ringbuffer_pagecount	0-1048575
PARAM_VALUE	0	hdev->channel->ringbuffer_send_offset	0-1048575
PARAM_VALUE	0	hdev->channel->state	3
PARAM_VALUE	0	hdev->device.driver_data	4096-ptr_max
PARAM_VALUE	0	hdev->device.driver_data->init_buf->pipe_hdr.size	12
PARAM_VALUE	0	hdev->device.driver_data->init_buf->pipe_hdr.type	1
PARAM_VALUE	0	hdev->device.driver_data->synthvid_version	131075,327683
PARAM_VALUE	0	hdev->device.driver_data->wait.done	0-4294967293,4294967295
PARAM_VALUE	0	hdev->device.driver_data->wait.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->device.driver_data->wait.wait.lock.owner	(-1)
PARAM_VALUE	0	hdev->device.driver_data->wait.wait.lock.owner_cpu	4294967295
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->resolution_req.maximum_resolution_count	64
PARAM_VALUE	1	msg->vid_hdr.size	9
PARAM_VALUE	1	msg->vid_hdr.type	13
BUF_SIZE	1	msg	16384
BUF_SIZE	1	msg	16384
CAPPED_DATA	0	hdev->channel->outbound.ring_datasize	1
DATA_SOURCE	0	hdev	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	hdev->channel->requestor.size
NO_OVERFLOW_SIMPLE	0	hdev->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE	0	hdev->channel->rqstor_size

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_hide_hw_ptr() -> hv_drm_sendpacket()

Type	Parameter	Key	Value
PARAM_VALUE	1	msg	7750628128231186432
PARAM_VALUE	1	msg->ptr_pos.is_visible	1
PARAM_VALUE	1	msg->vid_hdr.size	18
PARAM_VALUE	1	msg->vid_hdr.type	7
DATA_SOURCE	0	hdev	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_hide_hw_ptr() -> hv_drm_sendpacket()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->channel	4096-ptr_max
PARAM_VALUE	0	hdev->channel->requestor.req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	msg	7750628128231186432
PARAM_VALUE	1	msg->pipe_hdr.size	0
PARAM_VALUE	1	msg->pipe_hdr.type	0
PARAM_VALUE	1	msg->ptr_shape.height	1
PARAM_VALUE	1	msg->ptr_shape.is_argb	1
PARAM_VALUE	1	msg->ptr_shape.part_idx	255
PARAM_VALUE	1	msg->ptr_shape.width	1
PARAM_VALUE	1	msg->vid_hdr.size	30
PARAM_VALUE	1	msg->vid_hdr.type	8
DATA_SOURCE	0	hdev	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_negotiate_version() -> hv_drm_sendpacket()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->channel->channel_callback_context	4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.pkt_buffer	0,4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.pkt_buffer_size	1-4000000
PARAM_VALUE	0	hdev->channel->inbound.priv_read_index	0
PARAM_VALUE	0	hdev->channel->inbound.ring_buffer	4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.ring_buffer->feature_bits.value	1
PARAM_VALUE	0	hdev->channel->inbound.ring_datasize	0-4294959104,4294963200
PARAM_VALUE	0	hdev->channel->inbound.ring_size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->max_pkt_size	1-u32max
PARAM_VALUE	0	hdev->channel->onchannel_callback	7004654697074348032
PARAM_VALUE	0	hdev->channel->outbound.pkt_buffer	0,4096-ptr_max
PARAM_VALUE	0	hdev->channel->outbound.pkt_buffer_size	1-4000000
PARAM_VALUE	0	hdev->channel->outbound.priv_read_index	0
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer	4096-ptr_max
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->feature_bits.value	1
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->interrupt_mask	0
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->read_index	0
PARAM_VALUE	0	hdev->channel->outbound.ring_datasize	0-4294959104,4294963200
PARAM_VALUE	0	hdev->channel->outbound.ring_size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->requestor.req_arr	4096-ptr_max
PARAM_VALUE	0	hdev->channel->requestor.req_bitmap	16,4096-ptr_max
PARAM_VALUE	0	hdev->channel->requestor.size	1-u32max
PARAM_VALUE	0	hdev->channel->rescind	0
PARAM_VALUE	0	hdev->channel->ringbuffer_gpadlhandle.buffer	18379471554275704832,18446612682070032384
PARAM_VALUE	0	hdev->channel->ringbuffer_gpadlhandle.size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->ringbuffer_page	4096-ptr_max
PARAM_VALUE	0	hdev->channel->ringbuffer_pagecount	0-1048575
PARAM_VALUE	0	hdev->channel->ringbuffer_send_offset	0-1048575
PARAM_VALUE	0	hdev->channel->state	3
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->ver_req.version	131075,327683
PARAM_VALUE	1	msg->vid_hdr.size	12
PARAM_VALUE	1	msg->vid_hdr.type	1
BUF_SIZE	1	msg	16384
BUF_SIZE	1	msg	16384
CAPPED_DATA	0	hdev->channel->outbound.ring_datasize	1
DATA_SOURCE	0	hdev	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	hdev->channel->requestor.size
NO_OVERFLOW_SIMPLE	0	hdev->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE	0	hdev->channel->rqstor_size

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_update_dirt() -> hv_drm_sendpacket()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	1	msg	1574407696812728320
PARAM_VALUE	1	msg->dirt.dirt_count	1
PARAM_VALUE	1	msg->vid_hdr.size	26
PARAM_VALUE	1	msg->vid_hdr.type	10
DATA_SOURCE	0	hdev	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&(plane->dev)->mode_config.panic_lock
HALF_LOCKED2		flags

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_update_situation() -> hv_drm_sendpacket()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->channel	4096-ptr_max
PARAM_VALUE	0	hdev->channel->outbound.ring_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	msg	7612600345448140800
PARAM_VALUE	1	msg->situ.video_output_count	1
PARAM_VALUE	1	msg->vid_hdr.size	35
PARAM_VALUE	1	msg->vid_hdr.type	5
DATA_SOURCE	0	hdev	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		&state->dev->mode_config.connection_mutex
HALF_LOCKED2		&state->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_update_vram_location() -> hv_drm_sendpacket()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->channel->channel_callback_context	4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.pkt_buffer	0,4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.pkt_buffer_size	1-4000000
PARAM_VALUE	0	hdev->channel->inbound.priv_read_index	0
PARAM_VALUE	0	hdev->channel->inbound.ring_buffer	4096-ptr_max
PARAM_VALUE	0	hdev->channel->inbound.ring_buffer->feature_bits.value	1
PARAM_VALUE	0	hdev->channel->inbound.ring_datasize	0-4294959104,4294963200
PARAM_VALUE	0	hdev->channel->inbound.ring_size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->max_pkt_size	1-u32max
PARAM_VALUE	0	hdev->channel->onchannel_callback	7004654697074348032
PARAM_VALUE	0	hdev->channel->outbound.pkt_buffer	0,4096-ptr_max
PARAM_VALUE	0	hdev->channel->outbound.pkt_buffer_size	1-4000000
PARAM_VALUE	0	hdev->channel->outbound.priv_read_index	0
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer	4096-ptr_max
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->feature_bits.value	1
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->interrupt_mask	0
PARAM_VALUE	0	hdev->channel->outbound.ring_buffer->read_index	0
PARAM_VALUE	0	hdev->channel->outbound.ring_datasize	0-4294959104,4294963200
PARAM_VALUE	0	hdev->channel->outbound.ring_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdev->channel->outbound.ring_size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->requestor.req_arr	4096-ptr_max
PARAM_VALUE	0	hdev->channel->requestor.req_bitmap	16,4096-ptr_max
PARAM_VALUE	0	hdev->channel->requestor.size	1-u32max
PARAM_VALUE	0	hdev->channel->rescind	0
PARAM_VALUE	0	hdev->channel->ringbuffer_gpadlhandle.buffer	18379471554275704832,18446612682070032384
PARAM_VALUE	0	hdev->channel->ringbuffer_gpadlhandle.size	0,4096-4294963200
PARAM_VALUE	0	hdev->channel->ringbuffer_page	4096-ptr_max
PARAM_VALUE	0	hdev->channel->ringbuffer_pagecount	0-1048575
PARAM_VALUE	0	hdev->channel->ringbuffer_send_offset	0-1048575
PARAM_VALUE	0	hdev->channel->state	3
PARAM_VALUE	0	hdev->device.driver_data	4096-ptr_max
PARAM_VALUE	0	hdev->device.driver_data->init_buf->pipe_hdr.size	12
PARAM_VALUE	0	hdev->device.driver_data->init_buf->pipe_hdr.type	1
PARAM_VALUE	0	hdev->device.driver_data->mmio_megabytes	0-u16max
PARAM_VALUE	0	hdev->device.driver_data->preferred_height	0-u16max
PARAM_VALUE	0	hdev->device.driver_data->preferred_width	0-u16max
PARAM_VALUE	0	hdev->device.driver_data->screen_depth	32
PARAM_VALUE	0	hdev->device.driver_data->screen_height_max	0-4294967295
PARAM_VALUE	0	hdev->device.driver_data->screen_width_max	0-4294967295
PARAM_VALUE	0	hdev->device.driver_data->synthvid_version	131075,327683
PARAM_VALUE	0	hdev->device.driver_data->wait.done	0-4294967293,4294967295
PARAM_VALUE	0	hdev->device.driver_data->wait.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->device.driver_data->wait.wait.lock.owner	(-1)
PARAM_VALUE	0	hdev->device.driver_data->wait.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	hdev->device.driver_data->wait.wait.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->vid_hdr.size	25
PARAM_VALUE	1	msg->vid_hdr.type	3
PARAM_VALUE	1	msg->vram.is_vram_gpa_specified	1
BUF_SIZE	1	msg	16384
BUF_SIZE	1	msg	16384
DATA_SOURCE	0	hdev	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	hdev->channel->requestor.size
NO_OVERFLOW_SIMPLE	0	hdev->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE	0	hdev->channel->rqstor_size