Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_connect_vsp() -> hv_drm_negotiate_version()
| 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.ring_buffer | 0 |
| PARAM_VALUE | 0 | hdev->channel->max_pkt_size | 1-u32max |
| PARAM_VALUE | 0 | hdev->channel->onchannel_callback | 7004654697074348032 |
| PARAM_VALUE | 0 | hdev->channel->outbound.ring_buffer | 0 |
| PARAM_VALUE | 0 | hdev->channel->requestor.next_request_id | 0 |
| 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 | ver | 327683 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | hdev->channel->requestor.size | |
| NO_OVERFLOW_SIMPLE | 0 | hdev->channel->rqstor_size |
drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_connect_vsp() -> hv_drm_negotiate_version()
| 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.ring_buffer | 0 |
| PARAM_VALUE | 0 | hdev->channel->max_pkt_size | 1-u32max |
| PARAM_VALUE | 0 | hdev->channel->onchannel_callback | 7004654697074348032 |
| PARAM_VALUE | 0 | hdev->channel->outbound.ring_buffer | 0 |
| PARAM_VALUE | 0 | hdev->channel->outbound.ring_lock.rlock.dep_map->name | 0-255 |
| 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.req_lock.rlock.dep_map->name | 0-255 |
| 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 | 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->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 | ver | 131075 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | hdev->channel->requestor.size | |
| NO_OVERFLOW_SIMPLE | 0 | hdev->channel->rqstor_size |
drivers/gpu/drm/hyperv/hyperv_drm_proto.c hv_drm_connect_vsp() -> hv_drm_negotiate_version()
| 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.ring_buffer | 0 |
| PARAM_VALUE | 0 | hdev->channel->max_pkt_size | 1-u32max |
| PARAM_VALUE | 0 | hdev->channel->onchannel_callback | 7004654697074348032 |
| PARAM_VALUE | 0 | hdev->channel->outbound.ring_buffer | 0 |
| PARAM_VALUE | 0 | hdev->channel->requestor.next_request_id | 0 |
| 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 | ver | 327683 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | hdev->channel->requestor.size | |
| NO_OVERFLOW_SIMPLE | 0 | hdev->channel->rqstor_size |