Documented in 1 files:
Defined in 2 files as a function:
- drivers/gpu/drm/xe/xe_ras.c, line 356 (as a function)
- drivers/md/dm-vdo/recovery-journal.c, line 85 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-vdo/recovery-journal.c initialize_lock_count() -> get_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | journal | 4096-ptr_max |
| PARAM_VALUE | 2 | zone_type | 1 |
| PARAM_VALUE | 3 | zone_id | 0 |
| BUF_SIZE | 0 | journal | (-1),8-s32max |
| BUF_SIZE | 0 | journal | (-1),8-s32max |
| DATA_SOURCE | 0 | journal | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/recovery-journal.c is_journal_zone_locked() -> get_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | journal | 4096-ptr_max |
| PARAM_VALUE | 2 | zone_type | 1 |
| PARAM_VALUE | 3 | zone_id | 0 |
| BUF_SIZE | 0 | journal | (-1),8-s32max |
| BUF_SIZE | 0 | journal | (-1),8-s32max |
| DATA_SOURCE | 0 | journal | $0 |
| DATA_SOURCE | 1 | lock_number | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/recovery-journal.c vdo_acquire_recovery_journal_block_reference() -> get_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | journal | 4096-ptr_max |
| PARAM_VALUE | 2 | zone_type | 2-3 |
| CAPPED_DATA | 1 | lock_number | 1 |
| CAPPED_DATA | 1 | lock_number | 1 |
| DATA_SOURCE | 0 | journal | $0 |
| DATA_SOURCE | 1 | lock_number | r vdo_get_recovery_journal_block_number |
| DATA_SOURCE | 2 | zone_type | $2 |
| DATA_SOURCE | 3 | zone_id | $3 |
| HARD_MAX | 2 | zone_type | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/recovery-journal.c vdo_release_recovery_journal_block_reference() -> get_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | journal | 4096-ptr_max |
| PARAM_VALUE | 2 | zone_type | 1-3 |
| CAPPED_DATA | 1 | lock_number | 1 |
| CAPPED_DATA | 1 | lock_number | 1 |
| DATA_SOURCE | 0 | journal | $0 |
| DATA_SOURCE | 1 | lock_number | r vdo_get_recovery_journal_block_number |
| DATA_SOURCE | 2 | zone_type | $2 |
| DATA_SOURCE | 3 | zone_id | $3 |
| HARD_MAX | 2 | zone_type | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/xe/xe_ras.c xe_ras_get_counter() -> get_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | journal | 4096-ptr_max |
| PARAM_VALUE | 0 | journal->drm.dev->power.request | 0-4 |
| PARAM_VALUE | 0 | journal->drm.dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | journal->drm.dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | journal->info.has_sysctrl | 1 |
| PARAM_VALUE | 0 | journal->ras.info | 4096-ptr_max |
| PARAM_VALUE | 1 | lock_number | 3866242473690738688 |
| PARAM_VALUE | 1 | lock_number->common.component | 0-2,4-6 |
| PARAM_VALUE | 1 | lock_number->common.severity | 1-2 |
| PARAM_VALUE | 2 | zone_type | 1414020540161052672,1506537758927872000 |
| DATA_SOURCE | 0 | journal | $0 |
| DATA_SOURCE | 2 | zone_type | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |