Defined in 1 files as a member:
Defined in 3 files as a function:
- drivers/md/dm-cache-target.c, line 513 (as a function)
- drivers/md/dm-thin.c, line 121 (as a function)
- drivers/media/pci/saa7134/saa7134-input.c, line 45 (as a function)
Referenced in 5 files:
- drivers/infiniband/core/frmr_pools.c
- drivers/infiniband/hw/mlx5/mr.c, line 345
- drivers/md/dm-cache-target.c
- drivers/md/dm-thin.c
- drivers/media/pci/saa7134/saa7134-input.c
Smatch caller information:
drivers/md/dm-cache-target.c bio_detain_shared() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | key | 2232107600750587904 |
| DATA_SOURCE | 0 | dev | $1 |
| DATA_SOURCE | 1 | end | r to_oblock |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev | 0-18446744073709551614 |
| USER_DATA | 0 | dev | 0-18446744073709551614[c] |
drivers/md/dm-cache-target.c invalidate_lock() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | key | 8777154073377255424 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev | 1 |
| NOSPEC | 0 | dev | |
| NOSPEC | 0 | dev | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev | 0-18446744073709551614[c] |
| USER_DATA | 0 | dev | 0-18446744073709551614[c] |
| LOCK2 | &cache->background_work_lock | ||
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct cache)->background_work_lock |
drivers/md/dm-cache-target.c mg_lock_writes() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | key | 5548328329037697024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev | 0-2147483648[c] |
| USER_DATA | 0 | dev | 0-9223372036854775807 |
| LOCK2 | &cache->background_work_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct cache)->background_work_lock |
drivers/md/dm-thin.c break_up_discard_bio() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | end | 1 |
| PARAM_VALUE | 2 | key | 0-18446744073709551614 |
| PARAM_VALUE | 4 | key | 5662298524786028544 |
| CAPPED_DATA | 0 | dev->snapshotted_time | 1 |
| CAPPED_DATA | 2 | key | 1 |
| CAPPED_DATA | 2 | key | 1 |
| CAPPED_DATA | 3 | e | 1 |
| LOCK2 | &pool->lock |
drivers/md/dm-thin.c build_data_key() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | end | 1 |
| PARAM_VALUE | 2 | key | 0-1099511627775 |
| PARAM_VALUE | 3 | e | 1-1099511627776 |
| PARAM_VALUE | 4 | key | 6765547929936105472,7937555813327331328 |
| PARAM_VALUE | 4 | key->virtual | 0-1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | key | $1 |
| DATA_SOURCE | 4 | key | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-thin.c build_virtual_key() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 0 |
| PARAM_VALUE | 4 | key | 6765547929936105472,8984341500197179392 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | key | $1 |
| DATA_SOURCE | 4 | key | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-thin.c process_discard_bio() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 0 |
| PARAM_VALUE | 4 | key | 5552999541515685888 |
| PARAM_COMPARE | 2 | key | != $3 |
| PARAM_COMPARE | 2 | key | != $3 |
| PARAM_COMPARE | 3 | e | != $2 |
| HALF_LOCKED2 | &pool->lock |
drivers/media/pci/saa7134/saa7134-input.c saa7134_input_irq() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->has_remote | 1 |
| PARAM_VALUE | 0 | dev->hw_input->gpio | 0-2,4,8,128,256,512,768,2048,4096,8192,12288,16384,24576,32768,32896,49152,61440,65536,65539,130048,131072,262144,274432,327680,524288,688128,688132,819200,2097152,2097155,2097408,2097920,3145729,6438912-u32max |
| PARAM_VALUE | 0 | dev->hw_input->type | 0-14 |
| PARAM_VALUE | 0 | dev->hw_input->vmux | 0-4,6-9 |
| PARAM_VALUE | 0 | dev->input->type | 0-14 |
| PARAM_VALUE | 0 | dev->insuspend | 0 |
| PARAM_VALUE | 0 | dev->mops->irq_ts_done | 0,6866269747210940416 |
| PARAM_VALUE | 0 | dev->remote | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->remote->polling | 0 |
| PARAM_VALUE | 0 | dev->remote->raw_decode | 0 |
| PARAM_VALUE | 0 | dev->remote->running | 1 |
| PARAM_VALUE | 0 | dev->ts_q.curr->activate | 37859814344118272,5676008738618617856,8545046755270131712 |
| PARAM_VALUE | 0 | dev->ts_q.curr->top_seen | 0-1 |
| PARAM_VALUE | 0 | dev->vbi_q.curr->activate | 37859814344118272,5676008738618617856,8545046755270131712 |
| PARAM_VALUE | 0 | dev->vbi_q.curr->top_seen | 0-1 |
| PARAM_VALUE | 0 | dev->video_q.curr->activate | 37859814344118272,5676008738618617856,8545046755270131712 |
| PARAM_VALUE | 0 | dev->video_q.curr->top_seen | 0-1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->crop_current.left | s32min-s32max |
| HOST_DATA | 0 | dev->ctl_y_even | s32min-s32max |
| HOST_DATA | 0 | dev->ctl_y_odd | s32min-s32max |
| HOST_DATA | 0 | dev->remote->last_gpio | 0-u32max |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/media/pci/saa7134/saa7134-input.c saa7134_input_timer() -> build_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | dev | 16,32,40,56,64,72,80,96,112,160,192,200,216,256,280,288,296,312,400,424,584,600,712,920,1328,2072,3024,5704,9920,23200 |
| BUF_SIZE | 0 | dev | 16,32,40,56,64,72,80,96,112,160,192,200,216,256,280,288,296,312,400,424,584,600,712,920,1328,2072,3024,5704,9920,23200 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |