Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/pci-hyperv.c hv_pci_probe() -> hv_pci_enter_d0()
| 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->next_request_id_callback | 780198613894680576 |
| PARAM_VALUE | 0 | hdev->channel->onchannel_callback | 937436374065942528 |
| PARAM_VALUE | 0 | hdev->channel->out_full_flag | 0 |
| 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->request_addr_callback | 2024925912084512768 |
| 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->rqstor_size | 64 |
| PARAM_VALUE | 0 | hdev->channel->state | 3 |
| PARAM_VALUE | 0 | hdev->dev_instance.b | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.driver_data->protocol_version | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->device.of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *hdev->device.driver_data->wq->lockdep_map->name | 0-255 |
| CAPPED_DATA | 0 | hdev->channel->outbound.ring_datasize | 1 |
| 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 | |
| LOCK2 | &hbus->state_lock | ||
| TYPE_LOCK | (struct hv_pcibus_device)->state_lock |
drivers/pci/controller/pci-hyperv.c hv_pci_resume() -> hv_pci_enter_d0()
| 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->next_request_id_callback | 780198613894680576 |
| PARAM_VALUE | 0 | hdev->channel->onchannel_callback | 937436374065942528 |
| PARAM_VALUE | 0 | hdev->channel->out_full_flag | 0 |
| 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->request_addr_callback | 2024925912084512768 |
| 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->rqstor_size | 64 |
| PARAM_VALUE | 0 | hdev->channel->state | 3 |
| PARAM_VALUE | 0 | hdev->device.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device.driver_data->protocol_version | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->device.driver_data->wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | *hdev->device.driver_data->wq->lockdep_map->name | 0-255 |
| CAPPED_DATA | 0 | hdev->channel->outbound.ring_datasize | 1 |
| 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 | |
| LOCK2 | &hbus->state_lock | ||
| TYPE_LOCK | (struct hv_pcibus_device)->state_lock |