Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_doorbell.c dbell_delayed_dispatch() -> (struct dbell_entry)->notify_cb()

Type Parameter Key Value
CONTAINER 0 *(-232+240) $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/misc/vmw_vmci/vmci_doorbell.c dbell_fire_entries() -> (struct dbell_entry)->notify_cb()

Type Parameter Key Value
CONTAINER 0 *(-232+240) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 global &vmci_doorbell_it.lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct dbell_index_table)->lock

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_dbell_host_context_notify() -> (struct dbell_entry)->notify_cb()

Type Parameter Key Value
CONTAINER 0 *(-232+240) $(-1)
NOCHECK_CALL