Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 record 4096-18446744073709547519
PARAM_VALUE 1 record->ts_reg_info.in_use 1
PARAM_VALUE 1 record->ts_reg_info.interrupt 4096-ptr_max
DATA_SOURCE 0 hdev $0
NOCHECK_CALL
LOCK2 &ctx->ts_reg_lock
LOCK2 flags
HALF_LOCKED2 &data->interrupt->ts_list_lock
TYPE_LOCK (struct hl_ctx)->ts_reg_lock