Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/hyperv/hyperv_drm_drv.c hv_drm_vmbus_probe() -> hv_drm_update_vram_location()
| 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 | 1200 |
| PARAM_VALUE | 0 | hdev->device.driver_data->preferred_width | 1600 |
| PARAM_VALUE | 0 | hdev->device.driver_data->screen_depth | 32 |
| PARAM_VALUE | 0 | hdev->device.driver_data->screen_height_max | 1200 |
| PARAM_VALUE | 0 | hdev->device.driver_data->screen_width_max | 1600 |
| 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 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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_drv.c hv_drm_vmbus_resume() -> hv_drm_update_vram_location()
| 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->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 | 1200 |
| PARAM_VALUE | 0 | hdev->device.driver_data->preferred_width | 1600 |
| PARAM_VALUE | 0 | hdev->device.driver_data->screen_depth | 32 |
| PARAM_VALUE | 0 | hdev->device.driver_data->screen_height_max | 1200 |
| PARAM_VALUE | 0 | hdev->device.driver_data->screen_width_max | 1600 |
| 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 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 |