Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-zoned-target.c dmz_handle_read() -> dmz_block_valid()

Type Parameter Key Value
PARAM_VALUE 0 zmd 4096-ptr_max
PARAM_VALUE 1 zone 4096-ptr_max
PARAM_VALUE 1 zone->bzone 0,4096-ptr_max
PARAM_VALUE 1 zone->bzone->dev->map_rnd_list.prev 1-u64max
PARAM_VALUE 1 zone->bzone->dev->map_rnd_list.prev->next 1-u64max
PARAM_VALUE 1 zone->bzone->dev->map_rnd_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 zone->bzone->dev->map_seq_list.prev 1-u64max
PARAM_VALUE 1 zone->bzone->dev->map_seq_list.prev->next 1-u64max
PARAM_VALUE 1 zone->bzone->dev->map_seq_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 zone->bzone->link.next 1-u64max
PARAM_VALUE 1 zone->bzone->link.next->prev 4096-ptr_max
PARAM_VALUE 1 zone->bzone->link.prev->next 4096-ptr_max
PARAM_VALUE 1 zone->dev 4096-ptr_max
PARAM_VALUE 1 zone->dev->reclaim 4096-ptr_max
PARAM_VALUE 1 zone->link.next->prev 4096-ptr_max
PARAM_VALUE 1 zone->link.prev->next 4096-ptr_max
PARAM_VALUE 2 chunk_block 0-18446744073709551614
CAPPED_DATA 2 chunk_block 1
CAPPED_DATA 2 chunk_block 1
DATA_SOURCE 1 zone $1
LOCK2 &zmd->mblk_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dmz_metadata)->mblk_sem

drivers/md/dm-zoned-target.c dmz_handle_read() -> dmz_block_valid()

Type Parameter Key Value
PARAM_VALUE 0 zmd 4096-ptr_max
PARAM_VALUE 1 zone 4096-ptr_max
PARAM_VALUE 1 zone->link.next 1-u64max
PARAM_VALUE 2 chunk_block 0-18446744073709551614
CAPPED_DATA 2 chunk_block 1
CAPPED_DATA 2 chunk_block 1
LOCK2 &zmd->mblk_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dmz_metadata)->mblk_sem