Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_doorbell_create() -> dbell_index_table_remove()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->active.counter 0
PARAM_VALUE 0 entry->client_data 4096-ptr_max
PARAM_VALUE 0 entry->idx 0-4096
PARAM_VALUE 0 entry->node->pprev 4096-ptr_max
PARAM_VALUE 0 entry->node.pprev 4096-ptr_max
PARAM_VALUE 0 entry->notify_cb 1-u64max
PARAM_VALUE 0 entry->priv_flags 1
PARAM_VALUE 0 entry->resource.done.done 0
PARAM_VALUE 0 entry->resource.done.wait.lock.magic 3735899821
PARAM_VALUE 0 entry->resource.done.wait.lock.owner (-1)
PARAM_VALUE 0 entry->resource.done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 entry->resource.done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 entry->resource.handle.resource 0-4294967294
PARAM_VALUE 0 entry->resource.node.pprev 4096-ptr_max
PARAM_VALUE 0 entry->resource.type 4
PARAM_VALUE 0 entry->run_delayed 1
BUF_SIZE 0 entry 264
DATA_SOURCE 0 entry r _kmalloc_noprof
NOCHECK_CALL
LOCK2 &b->conf_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct vmballoon)->conf_sem

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_doorbell_destroy() -> dbell_index_table_remove()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->node.pprev 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &b->conf_sem
HALF_LOCKED2 &pool->lock