Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/vmw_vmci/vmci_host.c vmci_host_close() -> vmci_ctx_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_init_context() -> vmci_ctx_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | context | 4096-ptr_max |
| PARAM_VALUE | 0 | context->cid | 0-4294967294 |
| PARAM_VALUE | 0 | context->datagram_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->doorbell_array | 4096-ptr_max |
| PARAM_VALUE | 0 | context->doorbell_array->capacity | 6 |
| PARAM_VALUE | 0 | context->doorbell_array->max_capacity | 4096 |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | context->list_item.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notify | 4140082080163176448 |
| PARAM_VALUE | 0 | context->notify_page | 0 |
| PARAM_VALUE | 0 | context->pending_doorbell_array | 4096-ptr_max |
| PARAM_VALUE | 0 | context->pending_doorbell_array->capacity | 6 |
| PARAM_VALUE | 0 | context->pending_doorbell_array->max_capacity | 4096 |
| PARAM_VALUE | 0 | context->priv_flags | 0 |
| PARAM_VALUE | 0 | context->queue_pair_array | 4096-ptr_max |
| PARAM_VALUE | 0 | context->queue_pair_array->capacity | 6 |
| PARAM_VALUE | 0 | context->queue_pair_array->max_capacity | 16384 |
| PARAM_VALUE | 0 | context->queue_pair_array->size | 0 |
| PARAM_VALUE | 0 | context->user_version | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | context | 304 |
| DATA_SOURCE | 0 | context | r vmci_ctx_create |
| NOCHECK_CALL | |||
| USER_DATA | 0 | context->cid | 0-4294967294 |
| USER_DATA | 0 | context->priv_flags | 0 |
| LOCK2 | &vmci_host_dev->lock | ||
| TYPE_LOCK | (struct vmci_host_dev)->lock |
drivers/misc/vmw_vmci/vmci_host.c vmci_host_exit() -> vmci_ctx_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/misc/vmw_vmci/vmci_host.c vmci_host_init() -> vmci_ctx_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | context | 4096-ptr_max |
| PARAM_VALUE | 0 | context->cid | 0-4294967294 |
| PARAM_VALUE | 0 | context->datagram_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->datagram_queue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->doorbell_array | 4096-ptr_max |
| PARAM_VALUE | 0 | context->doorbell_array->capacity | 6 |
| PARAM_VALUE | 0 | context->doorbell_array->max_capacity | 4096 |
| PARAM_VALUE | 0 | context->doorbell_array->size | 0 |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->host_context.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | context->list_item.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->list_item.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notifier_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | context->notify | 4140082080163176448 |
| PARAM_VALUE | 0 | context->notify_page | 0 |
| PARAM_VALUE | 0 | context->pending_doorbell_array | 4096-ptr_max |
| PARAM_VALUE | 0 | context->pending_doorbell_array->capacity | 6 |
| PARAM_VALUE | 0 | context->pending_doorbell_array->max_capacity | 4096 |
| PARAM_VALUE | 0 | context->priv_flags | 0 |
| PARAM_VALUE | 0 | context->queue_pair_array | 4096-ptr_max |
| PARAM_VALUE | 0 | context->queue_pair_array->capacity | 6 |
| PARAM_VALUE | 0 | context->queue_pair_array->max_capacity | 16384 |
| PARAM_VALUE | 0 | context->queue_pair_array->size | 0 |
| PARAM_VALUE | 0 | context->user_version | 720896 |
| BUF_SIZE | 0 | context | 304 |
| DATA_SOURCE | 0 | context | r vmci_ctx_create |
| NOCHECK_CALL |