Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_consume_buf_ready() -> qp_get_queue_headers()

Type Parameter Key Value
PARAM_VALUE 0 qpair 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 1 produce_q_header 1970529020039090176
PARAM_VALUE 2 consume_q_header 2672697923155415040
DATA_SOURCE 0 qpair $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh
HALF_LOCKED2 sk
HALF_LOCKED2 sock->sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_consume_free_space() -> qp_get_queue_headers()

Type Parameter Key Value
PARAM_VALUE 0 qpair 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 1 produce_q_header 6325014447419531264
PARAM_VALUE 2 consume_q_header 8935431645851082752
DATA_SOURCE 0 qpair $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_get_consume_indexes() -> qp_get_queue_headers()

Type Parameter Key Value
PARAM_VALUE 0 qpair 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 1 produce_q_header 8683943352725893120
PARAM_VALUE 2 consume_q_header 5280367909002051584
DATA_SOURCE 0 qpair $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_get_produce_indexes() -> qp_get_queue_headers()

Type Parameter Key Value
PARAM_VALUE 0 qpair 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 1 produce_q_header 5497156476852514816
PARAM_VALUE 2 consume_q_header 7516236715283214336
DATA_SOURCE 0 qpair $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_produce_buf_ready() -> qp_get_queue_headers()

Type Parameter Key Value
PARAM_VALUE 0 qpair 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 1 produce_q_header 1987293025561759744
PARAM_VALUE 2 consume_q_header 2257375893421404160
DATA_SOURCE 0 qpair $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_produce_free_space() -> qp_get_queue_headers()

Type Parameter Key Value
PARAM_VALUE 0 qpair 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if 4096-ptr_max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 qpair->produce_q->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 1 produce_q_header 7258692962643079168
PARAM_VALUE 2 consume_q_header 6715066458332536832
DATA_SOURCE 0 qpair $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk