Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/accel/amdxdna/aie2_message.c aie2_query_app_health() -> amdxdna_free_msg_buffer()

Type Parameter Key Value
PARAM_VALUE 0 xdna->ddev.dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 xdna->domain 0,4096-ptr_max
PARAM_VALUE 0 xdna->domain->is_iommupt 1
PARAM_VALUE 0 xdna->domain->pgsize_bitmap 1-u64max
PARAM_VALUE 2 cpu_addr 18379471554275704832,18446612682070032384
DATA_SOURCE 2 cpu_addr r amdxdna_alloc_msg_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &client->hwctx_srcu
HALF_LOCKED2 _T->lock

drivers/accel/amdxdna/aie2_message.c aie2_query_status() -> amdxdna_free_msg_buffer()

Type Parameter Key Value
PARAM_VALUE 0 xdna->ddev.dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 xdna->domain 0,4096-ptr_max
PARAM_VALUE 0 xdna->domain->is_iommupt 1
PARAM_VALUE 0 xdna->domain->pgsize_bitmap 1-u64max
PARAM_VALUE 2 cpu_addr 18379471554275704832,18446612682070032384
CAPPED_DATA 0 &xdna->client_list 1
DATA_SOURCE 2 cpu_addr r amdxdna_alloc_msg_buffer
NOCHECK_CALL
LOCK2 &xdna->dev_lock
LOCK2 global &drm_unplug_srcu
TYPE_LOCK (struct amdxdna_dev)->dev_lock

drivers/accel/amdxdna/aie2_message.c aie2_query_telemetry() -> amdxdna_free_msg_buffer()

Type Parameter Key Value
PARAM_VALUE 0 xdna->ddev.dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 xdna->domain 0,4096-ptr_max
PARAM_VALUE 0 xdna->domain->is_iommupt 1
PARAM_VALUE 0 xdna->domain->pgsize_bitmap 1-u64max
PARAM_VALUE 2 cpu_addr 18379471554275704832,18446612682070032384
DATA_SOURCE 2 cpu_addr r amdxdna_alloc_msg_buffer
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &xdna->dev_lock
LOCK2 global &drm_unplug_srcu
TYPE_LOCK (struct amdxdna_dev)->dev_lock

drivers/accel/amdxdna/aie4_pci.c aie4_free_work_buffer() -> amdxdna_free_msg_buffer()

Type Parameter Key Value
PARAM_VALUE 0 xdna 4096-ptr_max
PARAM_VALUE 2 cpu_addr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &xdna->dev_lock
TYPE_LOCK (struct amdxdna_dev)->dev_lock

drivers/accel/amdxdna/aie2_error.c aie2_error_async_events_alloc() -> amdxdna_free_msg_buffer()

Type Parameter Key Value
PARAM_VALUE 0 xdna->ddev.dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 xdna->dev_info 4096-ptr_max
PARAM_VALUE 0 xdna->domain 0,4096-ptr_max
PARAM_VALUE 0 xdna->domain->is_iommupt 1
PARAM_VALUE 0 xdna->domain->pgsize_bitmap 1-u64max
PARAM_VALUE 0 xdna->fw_ver.build 0
PARAM_VALUE 0 xdna->fw_ver.major 0
PARAM_VALUE 0 xdna->fw_ver.minor 0
PARAM_VALUE 0 xdna->fw_ver.sub 0
PARAM_VALUE 2 cpu_addr 18379471554275704832,18446612682070032384
DATA_SOURCE 2 cpu_addr r amdxdna_alloc_msg_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 _T->lock

drivers/accel/amdxdna/aie2_error.c aie2_error_async_events_free() -> amdxdna_free_msg_buffer()

Type Parameter Key Value
PARAM_VALUE 0 xdna 4096-ptr_max
PARAM_VALUE 0 xdna->dev_lock.dep_map->name 0-255
PARAM_VALUE 0 xdna->dev_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 xdna->dev_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 xdna->dev_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 xdna->dev_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 xdna->dev_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 xdna->dev_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 xdna->dev_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 xdna->dev_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 xdna->dev_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 xdna->dev_lock.wait_lock.owner (-1)
PARAM_VALUE 0 xdna->dev_lock.wait_lock.owner_cpu u32max
CAPPED_DATA 0 &xdna->dev_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &xdna->dev_lock
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct amdxdna_dev)->dev_lock