Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/amdxdna/amdxdna_pci_drv.c amdxdna_client_cleanup() -> amdxdna_sva_fini()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->dev_heap_xa.xa_head 0
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup 0,4096-ptr_max
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->lock.dep_map->name 0-255
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->node 0,4096-ptr_max
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 client->hwctx_srcu.srcu_sup->work.work.entry.prev->prev 2076614606316732416
PARAM_VALUE 0 client->hwctx_xa.xa_head 0
PARAM_VALUE 0 client->hwctx_xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 client->mm 4096-ptr_max
PARAM_VALUE 0 client->mm_lock.magic 0
BUF_SIZE 0 client 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
BUF_SIZE 0 client 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
CAPPED_DATA 0 client->mm 1
DATA_SOURCE 0 client $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &xdna->client_lock
LOCK2 &xdna->dev_lock
TYPE_LOCK (struct amdxdna_dev)->client_lock
TYPE_LOCK (struct amdxdna_dev)->dev_lock

drivers/accel/amdxdna/amdxdna_pci_drv.c amdxdna_remove() -> amdxdna_sva_fini()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &xdna->client_lock
LOCK2 &xdna->dev_lock
TYPE_LOCK (struct amdxdna_dev)->client_lock
TYPE_LOCK (struct amdxdna_dev)->dev_lock