Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/habanalabs/common/command_buffer.c cb_do_release() -> cb_fini()

Type Parameter Key Value
PARAM_VALUE 1 cb 4096-ptr_max
PARAM_VALUE 1 cb->ctx 4096-ptr_max
PARAM_VALUE 1 cb->ctx->hdev->asic_funcs->mmu_invalidate_cache 4096-ptr_max
PARAM_VALUE 1 cb->is_pool 0
BUF_SIZE 1 cb (-1),24,104
BUF_SIZE 1 cb (-1),24,104
BUF_SIZE 1 cb->buf (-1),64
BUF_SIZE 1 cb->buf->private (-1),104
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 cb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hdev unit_byte

drivers/accel/habanalabs/common/command_buffer.c hl_cb_pool_fini() -> cb_fini()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->asic_funcs->halt_engines 4096-ptr_max
PARAM_VALUE 0 hdev->asic_funcs->hw_queues_lock 4096-ptr_max
PARAM_VALUE 0 hdev->asic_funcs->hw_queues_unlock 4096-ptr_max
PARAM_VALUE 0 hdev->asic_funcs->send_cpu_message 4096-ptr_max
PARAM_VALUE 0 hdev->hwmon_dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hdev->hwmon_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 cb 4096-ptr_max
BUF_SIZE 0 hdev s32min-(-1),1-s32max
BUF_SIZE 0 hdev s32min-(-1),1-s32max
CAPPED_DATA 0 hdev 1
CAPPED_DATA 0 &hdev->cb_pool 1
CAPPED_DATA 1 &cb->pool_list 1
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hdev unit_byte