Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-vdo/block-map.c is_invalid_tree_entry() -> vdo_is_valid_location()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | location | 699564584577142784,8713100189181710336 |
| DATA_SOURCE | 0 | location | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/block-map.c set_mapped_location() -> vdo_is_valid_location()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | location | 2358516074827943936 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/block-map.c traverse() -> vdo_is_valid_location()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | location | 5008336841488531456 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/block-map.c vdo_find_block_map_page_pbn() -> vdo_is_valid_location()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | location | 8218376631899439104 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c process_slot() -> vdo_is_valid_location()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | location | 2333309572303007744 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c validate_recovery_journal_entry() -> vdo_is_valid_location()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | location | 3936348714608689168,5571400090229264400,8083768763493097488,9121633479322267664 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c validate_recovery_journal_entry() -> vdo_is_valid_location()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | location | 3936348714608689184,5571400090229264416,8083768763493097504,9121633479322267680 |
| RX_PATH | |||
| TASK_NOT_RUNNING |