Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/habanalabs/common/state_dump.c hl_state_dump_print_syncs() -> hl_state_dump_print_syncs_single_block()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->state_dump_specs.sync_namager_names 4096-ptr_max
PARAM_VALUE 2 buf 4203005904547803136
PARAM_VALUE 2 *buf 1-u64max
PARAM_VALUE 2 **buf 0-255
PARAM_VALUE 3 size 2113951022504783872
PARAM_VALUE 4 offset 6521064840564477952
PARAM_VALUE 5 map 4096-ptr_max
BUF_SIZE 5 map 1024
DATA_SOURCE 0 hdev $0
DATA_SOURCE 2 buf $1
DATA_SOURCE 3 size $2
DATA_SOURCE 4 offset $3
DATA_SOURCE 5 map r _kzalloc_noprof
UNITS 0 hdev unit_byte
HALF_LOCKED2 &pool->lock

drivers/accel/habanalabs/common/state_dump.c hl_state_dump_print_syncs() -> hl_state_dump_print_syncs_single_block()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->state_dump_specs.props 4096-ptr_max
PARAM_VALUE 0 hdev->state_dump_specs.sync_namager_names 0
PARAM_VALUE 2 buf 4203005904547803136
PARAM_VALUE 2 *buf 1-u64max
PARAM_VALUE 2 **buf 0-255
PARAM_VALUE 3 size 2113951022504783872
PARAM_VALUE 4 offset 6521064840564477952
PARAM_VALUE 5 map 4096-ptr_max
BUF_SIZE 5 map 1024
CAPPED_DATA 1 index 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 2 buf $1
DATA_SOURCE 3 size $2
DATA_SOURCE 4 offset $3
DATA_SOURCE 5 map r _kzalloc_noprof
UNITS 0 hdev unit_byte
HALF_LOCKED2 &pool->lock