Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/accel/habanalabs/common/device.c hl_device_fini() -> device_kill_open_processes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->asic_funcs | 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->asic_specific->goya_work->work_freq.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->asic_specific->hw_queues_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_decoder_interrupt.ts_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_decoder_interrupt.wait_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_user_cq_interrupt.ts_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_user_cq_interrupt.wait_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->cs_mirror_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device_fini_pending | 1 |
| PARAM_VALUE | 0 | hdev->device_release_watchdog_work.reset_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->device_reset_work.reset_work.timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | hdev->disabled | 1 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->hl_chip_info->info | 0 |
| PARAM_VALUE | 0 | hdev->hl_debugfs.cs_job_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->hl_debugfs.userptr_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->hwmon_dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->late_init_done | 0 |
| PARAM_VALUE | 0 | hdev->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->pdev->msix_base | 0 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->prefetch_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->prefetch_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->process_kill_trial_cnt | 0 |
| PARAM_VALUE | 0 | hdev->reset_info.hard_reset_pending | 1 |
| PARAM_VALUE | 0 | hdev->reset_info.in_reset | 1 |
| PARAM_VALUE | 0 | hdev->reset_info.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->work_heartbeat.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *hdev->cs_cmplt_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *hdev->prefetch_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *hdev->ts_free_obj_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | timeout | 600 |
| PARAM_VALUE | 2 | control_dev | 0 |
| BUF_SIZE | 0 | hdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | hdev | 1 |
| CAPPED_DATA | 0 | hdev->asic_prop.user_interrupt_count | 1 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | hdev | unit_byte |
| HALF_LOCKED2 | &dev->mutex |
drivers/accel/habanalabs/common/device.c hl_device_fini() -> device_kill_open_processes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->asic_funcs | 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->asic_specific->goya_work->work_freq.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->asic_specific->hw_queues_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_decoder_interrupt.ts_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_decoder_interrupt.wait_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_user_cq_interrupt.ts_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->common_user_cq_interrupt.wait_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->first_flusher->done.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->cs_cmplt_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->cs_mirror_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->device_fini_pending | 1 |
| PARAM_VALUE | 0 | hdev->device_release_watchdog_work.reset_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->device_reset_work.reset_work.timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | hdev->disabled | 1 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_ctrl_list_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->fpriv_list_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->hl_chip_info->info | 0 |
| PARAM_VALUE | 0 | hdev->hl_debugfs.cs_job_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->hl_debugfs.userptr_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->hwmon_dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->late_init_done | 0 |
| PARAM_VALUE | 0 | hdev->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->pdev->msix_base | 0 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->prefetch_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->prefetch_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->prefetch_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->prefetch_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->process_kill_trial_cnt | 0 |
| PARAM_VALUE | 0 | hdev->reset_info.hard_reset_pending | 1 |
| PARAM_VALUE | 0 | hdev->reset_info.in_reset | 1 |
| PARAM_VALUE | 0 | hdev->reset_info.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->send_cpu_message_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->first_flusher->done.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdev->ts_free_obj_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hdev->work_heartbeat.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *hdev->cs_cmplt_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *hdev->prefetch_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *hdev->ts_free_obj_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | timeout | 0 |
| PARAM_VALUE | 2 | control_dev | 1 |
| BUF_SIZE | 0 | hdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | hdev | 1 |
| CAPPED_DATA | 0 | hdev->asic_prop.user_interrupt_count | 1 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | hdev | unit_byte |
| HALF_LOCKED2 | &dev->mutex |