Open Menu /

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_query_relations()

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.of_node 0,4096-ptr_max
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

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

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->protocol_version 0-4294967295
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