Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/bcache/super.c bcache_write_super() -> __write_super()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->version | 3-u64max |
| PARAM_VALUE | 2 | bio | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->__bi_cnt.counter | 1 |
| PARAM_VALUE | 2 | bio->__bi_nr_segments | u32max |
| PARAM_VALUE | 2 | bio->__bi_remaining.counter | 1 |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_disk->queue->blkg_list.next | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_disk->queue->blkg_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_queue | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | bio->bi_bvec_gap_bit | 0 |
| PARAM_VALUE | 2 | bio->bi_cookie | u32max |
| PARAM_VALUE | 2 | bio->bi_crypt_context | 0 |
| PARAM_VALUE | 2 | bio->bi_end_io | 6003807248732905472 |
| PARAM_VALUE | 2 | bio->bi_flags | 0 |
| PARAM_VALUE | 2 | bio->bi_integrity | 0 |
| PARAM_VALUE | 2 | bio->bi_iocost_cost | 0 |
| PARAM_VALUE | 2 | bio->bi_ioprio | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_idx | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_offset | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_sector | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 2 | bio->bi_max_vecs | 1 |
| PARAM_VALUE | 2 | bio->bi_next | 0 |
| PARAM_VALUE | 2 | bio->bi_opf | 0 |
| PARAM_VALUE | 2 | bio->bi_pool | 0 |
| PARAM_VALUE | 2 | bio->bi_private | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_status | 0 |
| PARAM_VALUE | 2 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 2 | bio->bi_write_hint | 0 |
| PARAM_VALUE | 2 | bio->bi_write_stream | 0 |
| PARAM_VALUE | 2 | bio->issue_time_ns | 0 |
| BUF_SIZE | 2 | bio | 144 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->flags | 0-u64max[c][u] |
| USER_DATA | 2 | bio->bi_max_vecs | 1[c] |
| LOCK2 | &c->sb_write_mutex | ||
| LOCK2 | global &bch_register_lock | ||
| TYPE_LOCK | (struct cache_set)->sb_write_mutex |
drivers/md/bcache/super.c bch_write_bdev_super() -> __write_super()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | bio | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->__bi_cnt.counter | 1 |
| PARAM_VALUE | 2 | bio->__bi_nr_segments | u32max |
| PARAM_VALUE | 2 | bio->__bi_remaining.counter | 1 |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_disk->queue->blkg_list.next | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_disk->queue->blkg_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_queue | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | bio->bi_bvec_gap_bit | 0 |
| PARAM_VALUE | 2 | bio->bi_cookie | u32max |
| PARAM_VALUE | 2 | bio->bi_crypt_context | 0 |
| PARAM_VALUE | 2 | bio->bi_end_io | 4640762267788046336 |
| PARAM_VALUE | 2 | bio->bi_flags | 0 |
| PARAM_VALUE | 2 | bio->bi_integrity | 0 |
| PARAM_VALUE | 2 | bio->bi_iocost_cost | 0 |
| PARAM_VALUE | 2 | bio->bi_ioprio | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_idx | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_offset | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_sector | 0 |
| PARAM_VALUE | 2 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 2 | bio->bi_max_vecs | 1 |
| PARAM_VALUE | 2 | bio->bi_next | 0 |
| PARAM_VALUE | 2 | bio->bi_opf | 0 |
| PARAM_VALUE | 2 | bio->bi_pool | 0 |
| PARAM_VALUE | 2 | bio->bi_private | 4096-ptr_max |
| PARAM_VALUE | 2 | bio->bi_status | 0 |
| PARAM_VALUE | 2 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 2 | bio->bi_write_hint | 0 |
| PARAM_VALUE | 2 | bio->bi_write_stream | 0 |
| PARAM_VALUE | 2 | bio->issue_time_ns | 0 |
| BUF_SIZE | 2 | bio | 144 |
| BUF_SIZE | 2 | bio->bi_private | (-1),128,5432,62968 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dc->sb_write_mutex | ||
| HALF_LOCKED2 | &dc->writeback_lock | ||
| HALF_LOCKED2 | global &bch_register_lock | ||
| TYPE_LOCK | (struct cached_dev)->sb_write_mutex |