Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-zoned.c blk_zone_wplug_bio_work() -> disk_zone_wplug_submit_bio()

Type Parameter Key Value
PARAM_VALUE 1 zwplug 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

block/blk-zoned.c disk_zone_wplugs_worker() -> disk_zone_wplug_submit_bio()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 zwplug 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.next 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.next->next 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.next->prev 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.prev 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.prev->next 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.prev->prev 4096-ptr_max
BUF_SIZE 0 disk 128
BUF_SIZE 0 disk 128
DATA_SOURCE 0 disk $0
DATA_SOURCE 1 zwplug r disk_get_zone_wplugs_work
PARAM_COMPARE 0 &disk->zone_wplugs_list != $0->zone_wplugs_list.next

block/blk-zoned.c disk_zone_wplugs_worker() -> disk_zone_wplug_submit_bio()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.done 0-4294967293,u32max
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.lock.owner (-1)
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_worker_bio_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 zwplug 4096-ptr_max
PARAM_VALUE 1 zwplug->bio_list.head->bi_next 0
PARAM_VALUE 1 zwplug->cond 1,14,255
PARAM_VALUE 1 zwplug->entry.next 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.next->next 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.next->prev 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.prev 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.prev->next 4096-ptr_max
PARAM_VALUE 1 zwplug->entry.prev->prev 4096-ptr_max
PARAM_VALUE 1 zwplug->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 zwplug->wp_offset 0-4294967294
BUF_SIZE 0 disk 128
BUF_SIZE 0 disk 128
DATA_SOURCE 0 disk $0
DATA_SOURCE 1 zwplug r disk_get_zone_wplugs_work
PARAM_COMPARE 0 &disk->zone_wplugs_list != $0->zone_wplugs_list.next