Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/raid56.c assert_rbio() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->real_stripes | 0-1 |
| PARAM_VALUE | 1 | rbio->sector_nsteps | 1-255 |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 1-255 |
| CAPPED_DATA | 1 | rbio->nr_sectors | 1 |
| CAPPED_DATA | 1 | rbio->stripe_nsectors | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_data | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| LOCK2 | &pool->lock |
fs/btrfs/raid56.c assert_rbio() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->nr_data | 0 |
| PARAM_VALUE | 1 | rbio->real_stripes | 2-255 |
| PARAM_VALUE | 1 | rbio->sector_nsteps | 1-255 |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 1-255 |
| CAPPED_DATA | 1 | rbio->nr_sectors | 1 |
| CAPPED_DATA | 1 | rbio->stripe_nsectors | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_data | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| LOCK2 | &pool->lock |
fs/btrfs/raid56.c assert_rbio() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->finish_pointers | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->nr_data | 2-255 |
| PARAM_VALUE | 1 | rbio->real_stripes | 2-255 |
| PARAM_VALUE | 1 | rbio->sector_nsteps | 1-255 |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 1-255 |
| PARAM_VALUE | 1 | *rbio->stripe_pages | 4096-ptr_max |
| CAPPED_DATA | 1 | rbio->nr_sectors | 1 |
| CAPPED_DATA | 1 | rbio->real_stripes | 1 |
| CAPPED_DATA | 1 | rbio->stripe_nsectors | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| PARAM_COMPARE | 1 | rbio->nr_data | >= $1->real_stripes |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_data | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| LOCK2 | &pool->lock |
fs/btrfs/raid56.c finish_parity_scrub() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->finish_pointers | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 0-64 |
| PARAM_VALUE | 1 | *rbio->stripe_pages | 4096-ptr_max |
| CAPPED_DATA | 1 | rbio->nr_sectors | 1 |
| CAPPED_DATA | 1 | rbio->scrubp | 1 |
| CAPPED_DATA | 1 | rbio->stripe_nsectors | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/raid56.c raid56_parity_alloc_scrub_rbio() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bio_list.head | 6312167714125516800 |
| PARAM_VALUE | 1 | rbio->bio_list.tail | 6312167714125516800 |
| PARAM_VALUE | 1 | rbio->bio_paddrs | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->error_bitmap | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->finish_pointers | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->hash_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->hash_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->io_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->io_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->operation | 2 |
| PARAM_VALUE | 1 | rbio->plug_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->plug_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->refs.refs.counter | 1 |
| PARAM_VALUE | 1 | rbio->stripe_cache.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_cache.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_npages | 16 |
| PARAM_VALUE | 1 | rbio->stripe_paddrs | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_pages | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_uptodate_bitmap | 16,4096-ptr_max |
| BUF_SIZE | 1 | rbio | 432 |
| CAPPED_DATA | 1 | rbio->real_stripes | 1 |
| DATA_SOURCE | 1 | rbio | r alloc_rbio |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_pages | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->scrubp | |
| UNITS | 0 | fs_info | unit_byte |
fs/btrfs/raid56.c rbio_add_bio() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bio_paddrs | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->error_bitmap | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->finish_pointers | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->hash_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->hash_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->io_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->io_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->nr_data | 1-255 |
| PARAM_VALUE | 1 | rbio->operation | 0-1 |
| PARAM_VALUE | 1 | rbio->plug_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->plug_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->real_stripes | 2-255 |
| PARAM_VALUE | 1 | rbio->refs.refs.counter | 1 |
| PARAM_VALUE | 1 | rbio->stripe_cache.next | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_cache.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_npages | 16 |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 0-64 |
| PARAM_VALUE | 1 | rbio->stripe_paddrs | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_pages | 16,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->stripe_uptodate_bitmap | 16,4096-ptr_max |
| BUF_SIZE | 1 | rbio | 432 |
| DATA_SOURCE | 1 | rbio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_pages | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/raid56.c rbio_add_io_paddrs() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->nr_sectors | 1-u16max |
| PARAM_VALUE | 1 | rbio->real_stripes | 1-255 |
| PARAM_VALUE | 1 | rbio->sector_nsteps | 1-255 |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 1-255 |
| CAPPED_DATA | 1 | rbio->nr_sectors | 1 |
| CAPPED_DATA | 1 | rbio->real_stripes | 1 |
| CAPPED_DATA | 1 | rbio->stripe_nsectors | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/raid56.c rbio_add_io_paddrs() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->nr_sectors | 1-u16max |
| PARAM_VALUE | 1 | rbio->real_stripes | 1-255 |
| PARAM_VALUE | 1 | rbio->sector_nsteps | 1-255 |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 1-255 |
| CAPPED_DATA | 1 | rbio->bioc->num_stripes | 1 |
| CAPPED_DATA | 1 | rbio->nr_sectors | 1 |
| CAPPED_DATA | 1 | rbio->real_stripes | 1 |
| CAPPED_DATA | 1 | rbio->stripe_nsectors | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/raid56.c rbio_paddr_index() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rbio->sector_nsteps | 0-254 |
| CAPPED_DATA | 1 | rbio->sector_nsteps | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_data | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/raid56.c rbio_sector_index() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 0,4096-ptr_max |
| CAPPED_DATA | 1 | rbio->real_stripes | 1 |
| CAPPED_DATA | 1 | rbio->sector_nsteps | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_data | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/raid56.c rbio_sector_index() -> btrfs_dump_rbio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bio_paddrs | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->bioc | 4096-ptr_max |
| PARAM_VALUE | 1 | rbio->nr_sectors | 1-u16max |
| PARAM_VALUE | 1 | rbio->real_stripes | 1-255 |
| PARAM_VALUE | 1 | rbio->sector_nsteps | 1-255 |
| PARAM_VALUE | 1 | rbio->stripe_nsectors | 1-254 |
| PARAM_VALUE | 1 | *rbio->stripe_pages | 4096-ptr_max |
| CAPPED_DATA | 1 | rbio->nr_sectors | 1 |
| CAPPED_DATA | 1 | rbio->real_stripes | 1 |
| CAPPED_DATA | 1 | rbio->sector_nsteps | 1 |
| CAPPED_DATA | 1 | rbio->stripe_nsectors | 1 |
| DATA_SOURCE | 1 | rbio | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rbio->nr_data | |
| NO_OVERFLOW_SIMPLE | 1 | rbio->real_stripes | |
| UNITS | 0 | fs_info | unit_byte |
| HALF_LOCKED2 | &pool->lock |