Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/habanalabs/common/command_submission.c hl_multi_cs_wait_ioctl() -> hl_wait_multi_cs_completion()

Type Parameter Key Value
PARAM_VALUE 0 mcs_data 6991016125743566848
PARAM_VALUE 0 mcs_data->arr_len 0-32
PARAM_VALUE 0 mcs_data->ctx 4096-ptr_max
PARAM_VALUE 0 mcs_data->fence_arr 16,4096-ptr_max
PARAM_VALUE 0 mcs_data->gone_cs 0-1
PARAM_VALUE 0 mcs_data->seq_arr 16,4096-ptr_max
PARAM_VALUE 0 mcs_data->timestamp s64min-9223372036854775806
PARAM_VALUE 0 mcs_data->update_ts 0-1
PARAM_VALUE 0 mcs_data->wait_status 0-s64max
PARAM_VALUE 1 mcs_compl 4096-ptr_max
PARAM_VALUE 1 mcs_compl->completion.done 0,u32max
PARAM_VALUE 1 mcs_compl->completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 mcs_compl->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 mcs_compl->timestamp 0
PARAM_VALUE 1 mcs_compl->used 1
DATA_SOURCE 1 mcs_compl r hl_wait_multi_cs_completion_init
NOSPEC 0 mcs_data->arr_len
USER_DATA 0 mcs_data->arr_len 0-32[c]
USER_DATA 0 mcs_data->timeout_jiffies 1-536870912
USER_DATA 0 mcs_data->wait_status 1-536870912
USER_PTR 0 mcs_data->seq_arr