Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/infiniband/core/mad.c ib_mad_complete_send_wr() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->mad_agent_priv 4096-ptr_max
PARAM_VALUE 0 server->send_buf.mad_agent 4096-ptr_max
PARAM_VALUE 0 server->sg_list 4096-ptr_max
PARAM_VALUE 0 server->state 2
PARAM_VALUE 0 server->timeout 1-u64max
DATA_SOURCE 0 server $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mad_agent_priv->lock
LOCK2 flags
TYPE_LOCK (struct ib_mad_agent_private)->lock

drivers/infiniband/core/mad.c ib_reset_mad_timeout() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->state 0,3,5-u32max
PARAM_VALUE 0 server->timeout 0-536870912,4611686018427387902
DATA_SOURCE 0 server $0
FUZZY_MAX 0 server->state 5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 &agent->lock
HALF_LOCKED2 &mad_agent_priv->lock
TYPE_LOCK (struct ib_mad_agent_private)->lock

drivers/pci/controller/pci-hyperv.c hv_pci_enter_d0() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->channel 4096-ptr_max
PARAM_VALUE 0 server->channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->inbound.priv_read_index 0
PARAM_VALUE 0 server->channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->max_pkt_size 1-u32max
PARAM_VALUE 0 server->channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 server->channel->onchannel_callback 937436374065942528
PARAM_VALUE 0 server->channel->out_full_flag 0
PARAM_VALUE 0 server->channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->outbound.priv_read_index 0
PARAM_VALUE 0 server->channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 server->channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->requestor.size 1-u32max
PARAM_VALUE 0 server->channel->rescind 0
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
PARAM_VALUE 0 server->channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 server->channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 server->channel->ringbuffer_send_offset 0-1048575
PARAM_VALUE 0 server->channel->rqstor_size 64
PARAM_VALUE 0 server->channel->state 3
PARAM_VALUE 0 server->device.bus 0,4096-ptr_max
PARAM_VALUE 0 server->device.class 0,4096-ptr_max
PARAM_VALUE 0 server->device.driver 0,4096-ptr_max
PARAM_VALUE 0 server->device.driver_data 4096-ptr_max
PARAM_VALUE 0 server->device.driver_data->protocol_version 0-4294967295
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 server->device.driver_data->wq->flush_color s32min-s32max
PARAM_VALUE 0 server->device.driver_data->wq->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 server->device.driver_data->wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 server->device.driver_data->wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 server->device.driver_data->wq->work_color s32min-s32max
PARAM_VALUE 0 *server->device.driver_data->wq->lockdep_map->name 0-255
PARAM_VALUE 1 mid 5681880569614270464
PARAM_VALUE 1 mid->done 0
PARAM_VALUE 1 mid->wait.lock.magic 3735899821
PARAM_VALUE 1 mid->wait.lock.owner (-1)
PARAM_VALUE 1 mid->wait.lock.owner_cpu u32max
PARAM_VALUE 1 mid->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mid->wait.task_list.prev 4096-ptr_max
CAPPED_DATA 0 server->channel->outbound.ring_datasize 1
DATA_SOURCE 0 server $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 server->channel->requestor.size
NO_OVERFLOW_SIMPLE 0 server->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 server->channel->rqstor_size
LOCK2 &hbus->state_lock
TYPE_LOCK (struct hv_pcibus_device)->state_lock

drivers/pci/controller/pci-hyperv.c hv_pci_protocol_negotiation() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->channel 4096-ptr_max
PARAM_VALUE 0 server->channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->inbound.priv_read_index 0
PARAM_VALUE 0 server->channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->max_pkt_size 1-u32max
PARAM_VALUE 0 server->channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 server->channel->onchannel_callback 937436374065942528
PARAM_VALUE 0 server->channel->out_full_flag 0
PARAM_VALUE 0 server->channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->outbound.priv_read_index 0
PARAM_VALUE 0 server->channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 server->channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->requestor.size 1-u32max
PARAM_VALUE 0 server->channel->rescind 0
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
PARAM_VALUE 0 server->channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 server->channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 server->channel->ringbuffer_send_offset 0-1048575
PARAM_VALUE 0 server->channel->rqstor_size 64
PARAM_VALUE 0 server->channel->state 3
PARAM_VALUE 1 mid 3767099638856097792
PARAM_VALUE 1 mid->done 0
PARAM_VALUE 1 mid->wait.lock.owner (-1)
PARAM_VALUE 1 mid->wait.lock.owner_cpu u32max
PARAM_VALUE 1 mid->wait.task_list.next 4096-ptr_max
CAPPED_DATA 0 server->channel->outbound.ring_datasize 1
DATA_SOURCE 0 server $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 server->channel->requestor.size
NO_OVERFLOW_SIMPLE 0 server->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 server->channel->rqstor_size

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

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->channel 4096-ptr_max
PARAM_VALUE 0 server->channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->inbound.priv_read_index 0
PARAM_VALUE 0 server->channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->max_pkt_size 1-u32max
PARAM_VALUE 0 server->channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 server->channel->onchannel_callback 937436374065942528
PARAM_VALUE 0 server->channel->out_full_flag 0
PARAM_VALUE 0 server->channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->outbound.priv_read_index 0
PARAM_VALUE 0 server->channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 server->channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->requestor.size 1-u32max
PARAM_VALUE 0 server->channel->rescind 0
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
PARAM_VALUE 0 server->channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 server->channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 server->channel->ringbuffer_send_offset 0-1048575
PARAM_VALUE 0 server->channel->rqstor_size 64
PARAM_VALUE 0 server->channel->state 3
PARAM_VALUE 0 server->device.bus 0,4096-ptr_max
PARAM_VALUE 0 server->device.class 0,4096-ptr_max
PARAM_VALUE 0 server->device.driver 0,4096-ptr_max
PARAM_VALUE 0 server->device.driver_data->protocol_version 0-4294967295
PARAM_VALUE 1 mid 6467762747094900736
PARAM_VALUE 1 mid->done 0
PARAM_VALUE 1 mid->wait.lock.magic 3735899821
PARAM_VALUE 1 mid->wait.lock.owner (-1)
PARAM_VALUE 1 mid->wait.lock.owner_cpu u32max
PARAM_VALUE 1 mid->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mid->wait.task_list.prev 4096-ptr_max
CAPPED_DATA 0 server->channel->outbound.ring_datasize 1
DATA_SOURCE 0 server $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 server->channel->requestor.size
NO_OVERFLOW_SIMPLE 0 server->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 server->channel->rqstor_size

drivers/pci/controller/pci-hyperv.c hv_read_config_block() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->channel 4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->rescind 0
PARAM_VALUE 1 mid 6139786282764312576
PARAM_VALUE 1 mid->done 0
PARAM_VALUE 1 mid->wait.lock.magic 3735899821
PARAM_VALUE 1 mid->wait.lock.owner (-1)
PARAM_VALUE 1 mid->wait.lock.owner_cpu u32max
PARAM_VALUE 1 mid->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mid->wait.task_list.prev 4096-ptr_max
CAPPED_DATA 0 server->channel->outbound.ring_buffer->read_index 1
CAPPED_DATA 0 server->channel->outbound.ring_datasize 1
LOCK2 &hv_vhca->agents_lock
LOCK2 &pool->lock
TYPE_LOCK (struct mlx5_hv_vhca)->agents_lock

drivers/pci/controller/pci-hyperv.c hv_send_resources_allocated() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->channel 4096-ptr_max
PARAM_VALUE 0 server->channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->inbound.priv_read_index 0
PARAM_VALUE 0 server->channel->inbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->inbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->inbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->inbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->max_pkt_size 1-u32max
PARAM_VALUE 0 server->channel->next_request_id_callback 780198613894680576
PARAM_VALUE 0 server->channel->onchannel_callback 937436374065942528
PARAM_VALUE 0 server->channel->out_full_flag 0
PARAM_VALUE 0 server->channel->outbound.pkt_buffer 0,4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.pkt_buffer_size 1-4000000
PARAM_VALUE 0 server->channel->outbound.priv_read_index 0
PARAM_VALUE 0 server->channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.ring_buffer->feature_bits.value 1
PARAM_VALUE 0 server->channel->outbound.ring_datasize 0-4294959104,4294963200
PARAM_VALUE 0 server->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->outbound.ring_size 0,4096-4294963200
PARAM_VALUE 0 server->channel->request_addr_callback 2024925912084512768
PARAM_VALUE 0 server->channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 server->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->requestor.size 1-u32max
PARAM_VALUE 0 server->channel->rescind 0
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 server->channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
PARAM_VALUE 0 server->channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 server->channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 server->channel->ringbuffer_send_offset 0-1048575
PARAM_VALUE 0 server->channel->rqstor_size 64
PARAM_VALUE 0 server->channel->state 3
PARAM_VALUE 0 server->device.bus 0,4096-ptr_max
PARAM_VALUE 0 server->device.class 0,4096-ptr_max
PARAM_VALUE 0 server->device.driver 0,4096-ptr_max
PARAM_VALUE 0 server->device.driver_data 4096-ptr_max
PARAM_VALUE 0 server->device.driver_data->protocol_version 0-4294967295
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 server->device.driver_data->wq->first_flusher->done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 server->device.driver_data->wq->flush_color s32min-s32max
PARAM_VALUE 0 server->device.driver_data->wq->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 server->device.driver_data->wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 server->device.driver_data->wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 server->device.driver_data->wq->work_color s32min-s32max
PARAM_VALUE 0 *server->device.driver_data->wq->lockdep_map->name 0-255
PARAM_VALUE 1 mid 7019429151955410944
PARAM_VALUE 1 mid->done 0
PARAM_VALUE 1 mid->wait.lock.magic 3735899821
PARAM_VALUE 1 mid->wait.lock.owner (-1)
PARAM_VALUE 1 mid->wait.lock.owner_cpu u32max
PARAM_VALUE 1 mid->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mid->wait.task_list.prev 4096-ptr_max
CAPPED_DATA 0 server->channel->outbound.ring_datasize 1
DATA_SOURCE 0 server $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 server->channel->requestor.size
NO_OVERFLOW_SIMPLE 0 server->channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 server->channel->rqstor_size
LOCK2 &hbus->state_lock
TYPE_LOCK (struct hv_pcibus_device)->state_lock

drivers/pci/controller/pci-hyperv.c hv_write_config_block() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->channel 4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->rescind 0
PARAM_VALUE 1 mid 8452796543264743424
PARAM_VALUE 1 mid->done 0
PARAM_VALUE 1 mid->wait.lock.magic 3735899821
PARAM_VALUE 1 mid->wait.lock.owner (-1)
PARAM_VALUE 1 mid->wait.lock.owner_cpu u32max
PARAM_VALUE 1 mid->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mid->wait.task_list.prev 4096-ptr_max
CAPPED_DATA 0 server->channel->outbound.ring_buffer->read_index 1
CAPPED_DATA 0 server->channel->outbound.ring_datasize 1
LOCK2 &pool->lock
HALF_LOCKED2 &hv_vhca->agents_lock

drivers/pci/controller/pci-hyperv.c new_pcichild_device() -> wait_for_response()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->channel 4096-ptr_max
PARAM_VALUE 0 server->channel->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->requestor.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->channel->rescind 0
PARAM_VALUE 1 mid 1503455874058420224
PARAM_VALUE 1 mid->done 0
PARAM_VALUE 1 mid->wait.lock.magic 3735899821
PARAM_VALUE 1 mid->wait.lock.owner (-1)
PARAM_VALUE 1 mid->wait.lock.owner_cpu u32max
PARAM_VALUE 1 mid->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mid->wait.task_list.prev 4096-ptr_max
CAPPED_DATA 0 server->channel->outbound.ring_buffer->read_index 1
CAPPED_DATA 0 server->channel->outbound.ring_datasize 1
LOCK2 &hbus->state_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hv_pcibus_device)->state_lock