Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/amdxdna/aie2_message.c aie2_create_context() -> aie2_destroy_context_req()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->aie.mgmt_chann 0,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 0-4294967295
PARAM_VALUE 0 ndev->priv 4096-ptr_max
PARAM_VALUE 0 ndev->priv->rt_config 4096-ptr_max
PARAM_VALUE 0 ndev->priv->rt_config->feature_mask 0,2
PARAM_VALUE 0 ndev->priv->rt_config->type 0-5,10,13-14
PARAM_VALUE 1 id 0
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/accel/amdxdna/aie2_message.c aie2_destroy_context() -> aie2_destroy_context_req()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock