Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/accel/amdxdna/aie4_pci.c aie4_mailbox_fini() -> aie_destroy_chann()

Type Parameter Key Value
PARAM_VALUE 0 aie 4096-ptr_max
PARAM_VALUE 1 chann 4096-ptr_max
PARAM_VALUE 1 *chann 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &xdna->dev_lock
TYPE_LOCK (struct amdxdna_dev)->dev_lock

drivers/accel/amdxdna/aie2_pci.c aie2_hw_stop() -> aie_destroy_chann()

Type Parameter Key Value
PARAM_VALUE 0 aie 4096-ptr_max
PARAM_VALUE 1 chann 4096-ptr_max
PARAM_VALUE 1 *chann 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 _T->lock

drivers/accel/amdxdna/aie.c aie_send_mgmt_msg_wait() -> aie_destroy_chann()

Type Parameter Key Value
PARAM_VALUE 0 aie 4096-ptr_max
PARAM_VALUE 0 aie->mgmt_chann 4096-ptr_max
PARAM_VALUE 0 aie->mgmt_chann->chan_xa.xa_flags 0-4294967295
PARAM_VALUE 0 aie->mgmt_chann->chan_xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 aie->mgmt_chann->next_msgid 0-4294967295
PARAM_VALUE 1 chann 4096-ptr_max
PARAM_VALUE 1 *chann 4096-ptr_max
DATA_SOURCE 0 aie $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 global &pci_rescan_remove_lock