Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/habanalabs/common/command_submission.c _hl_interrupt_ts_reg_ioctl() -> ts_get_and_handle_kernel_record()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->device_fini_pending 0
PARAM_VALUE 0 hdev->disabled 0
PARAM_VALUE 0 hdev->reset_info.in_reset 0
PARAM_VALUE 0 hdev->reset_info.needs_reset 0
PARAM_VALUE 0 hdev->reset_info.watchdog_active 0
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->ts_reg_lock.dep_map->name 0-255
PARAM_VALUE 1 ctx->ts_reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 ctx->ts_reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 ctx->ts_reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 ctx->ts_reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 ctx->ts_reg_lock.wait_lock.owner (-1)
PARAM_VALUE 1 ctx->ts_reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 data 8327280213116481536
PARAM_VALUE 2 data->buf 4096-ptr_max
PARAM_VALUE 2 data->cq_cb 4096-ptr_max
PARAM_VALUE 2 data->interrupt 4096-ptr_max
PARAM_VALUE 2 data->mmg 4096-ptr_max
PARAM_VALUE 2 data->mmg->lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 flags 2104802469204508672
PARAM_VALUE 4 pend 1238162126751080448
BUF_SIZE 2 data->cq_cb 24,104
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 ctx $1
DATA_SOURCE 2 data $2
PREEMPT_ADD <- disables preempt
USER_DATA 2 data->cq_handle 0-u64max[u]
USER_DATA 2 data->cq_offset 0-u64max[u]
USER_DATA 2 data->intr_timeout_us 0-u64max[u]
USER_DATA 2 data->target_value 0-u64max[u]
USER_DATA 2 data->ts_handle 0-u64max[u]
USER_DATA 2 data->ts_offset 0-u64max[u]
LOCK2 flags
LOCK2 1 &ctx->ts_reg_lock
LOCK2 2 &data->interrupt->ts_list_lock
TYPE_LOCK (struct hl_ctx)->ts_reg_lock
TYPE_LOCK (struct hl_user_interrupt)->ts_list_lock