Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/amdxdna/aie4_ctx.c aie4_hwctx_create() -> aie4_msg_destroy_context()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->aie.mgmt_chann 4096-ptr_max
PARAM_VALUE 0 ndev->aie.mgmt_chann->chan_xa.xa_flags 0-4294967295
PARAM_VALUE 0 ndev->aie.mgmt_chann->chan_xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ndev->aie.mgmt_chann->next_msgid 0-4294967295
PARAM_VALUE 0 ndev->aie.mgmt_chann->x2i_tail 20-4294967295
PARAM_VALUE 0 ndev->aie.xdna 4096-ptr_max
PARAM_VALUE 0 ndev->partition_id 1-u32max
PARAM_VALUE 1 hw_context_id 0
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 global &drm_unplug_srcu

drivers/accel/amdxdna/aie4_ctx.c aie4_hwctx_destroy() -> aie4_msg_destroy_context()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &xdna->client_lock
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu