Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/raid56.c rbio_add_io_paddrs() -> get_rbio_vertical_errors()

Type Parameter Key Value
PARAM_VALUE 0 rbio 4096-ptr_max
PARAM_VALUE 0 rbio->bioc 4096-ptr_max
PARAM_VALUE 0 rbio->bioc->fs_info 4096-ptr_max
PARAM_VALUE 0 rbio->bioc->num_stripes 1-u16max
PARAM_VALUE 0 rbio->bioc->stripes 4096-ptr_max
PARAM_VALUE 0 rbio->error_bitmap 4096-ptr_max
PARAM_VALUE 0 rbio->nr_sectors 1-u16max
PARAM_VALUE 0 rbio->real_stripes 1-255
PARAM_VALUE 0 rbio->sector_nsteps 1-255
PARAM_VALUE 0 rbio->stripe_nsectors 1-255
PARAM_VALUE 1 sector_nr 0-254
PARAM_VALUE 2 faila 0
PARAM_VALUE 3 failb 0
CAPPED_DATA 0 rbio->bioc->num_stripes 1
CAPPED_DATA 0 rbio->nr_sectors 1
CAPPED_DATA 0 rbio->real_stripes 1
CAPPED_DATA 0 rbio->stripe_nsectors 1
CAPPED_DATA 1 sector_nr 1
DATA_SOURCE 0 rbio $0
DATA_SOURCE 1 sector_nr $4
PARAM_COMPARE 0 rbio->stripe_nsectors > $1
PARAM_COMPARE 1 sector_nr < $0->stripe_nsectors
NO_OVERFLOW_SIMPLE 0 rbio->real_stripes
HALF_LOCKED2 &pool->lock

fs/btrfs/raid56.c recover_scrub_rbio() -> get_rbio_vertical_errors()

Type Parameter Key Value
PARAM_VALUE 0 rbio 4096-ptr_max
PARAM_VALUE 0 rbio->bioc 4096-ptr_max
PARAM_VALUE 0 rbio->bioc->fs_info 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_nsectors 1-255
PARAM_VALUE 0 *rbio->stripe_pages 4096-ptr_max
PARAM_VALUE 1 sector_nr 0-254
PARAM_VALUE 2 faila 117158300595314688
PARAM_VALUE 3 failb 3588715187980742656
CAPPED_DATA 0 rbio->nr_sectors 1
CAPPED_DATA 1 sector_nr 1
DATA_SOURCE 0 rbio $0
PARAM_COMPARE 0 rbio->stripe_nsectors > $1
PARAM_COMPARE 1 sector_nr < $0->stripe_nsectors
NO_OVERFLOW_SIMPLE 0 rbio->real_stripes
HALF_LOCKED2 &pool->lock

fs/btrfs/raid56.c recover_vertical() -> get_rbio_vertical_errors()

Type Parameter Key Value
PARAM_VALUE 0 rbio 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_nsectors 1-255
PARAM_VALUE 1 sector_nr 0-254
PARAM_VALUE 2 faila 6951195463173545984
PARAM_VALUE 3 failb 6901318803214307328
CAPPED_DATA 0 rbio->nr_sectors 1
CAPPED_DATA 1 sector_nr 1
DATA_SOURCE 0 rbio $0
DATA_SOURCE 1 sector_nr $1
NO_OVERFLOW_SIMPLE 0 rbio->real_stripes
HALF_LOCKED2 &pool->lock

fs/btrfs/raid56.c rmw_rbio() -> get_rbio_vertical_errors()

Type Parameter Key Value
PARAM_VALUE 0 rbio 4096-ptr_max
PARAM_VALUE 0 rbio->bio_list_bytes 0-16711680
PARAM_VALUE 0 rbio->bio_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rbio->bioc 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rbio->stripe_nsectors 1-255
PARAM_VALUE 1 sector_nr 0-254
PARAM_VALUE 2 faila 0
PARAM_VALUE 3 failb 0
CAPPED_DATA 0 rbio->bio_list_bytes 1
CAPPED_DATA 0 rbio->nr_sectors 1
CAPPED_DATA 0 rbio->stripe_nsectors 1
CAPPED_DATA 1 sector_nr 1
DATA_SOURCE 0 rbio $0
PARAM_COMPARE 0 rbio->nr_sectors > $1
PARAM_COMPARE 0 rbio->nr_sectors >= $0->stripe_nsectors
PARAM_COMPARE 0 rbio->stripe_nsectors > $1
PARAM_COMPARE 1 sector_nr < $0->nr_sectors
PARAM_COMPARE 1 sector_nr < $0->stripe_nsectors
NO_OVERFLOW_SIMPLE 0 rbio->nr_data
NO_OVERFLOW_SIMPLE 0 rbio->real_stripes
HALF_LOCKED2 &pool->lock

fs/btrfs/raid56.c scrub_rbio() -> get_rbio_vertical_errors()

Type Parameter Key Value
PARAM_VALUE 0 rbio 4096-ptr_max
PARAM_VALUE 0 rbio->bioc 4096-ptr_max
PARAM_VALUE 0 rbio->bioc->fs_info 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rbio->stripe_nsectors 1-255
PARAM_VALUE 0 *rbio->stripe_pages 4096-ptr_max
PARAM_VALUE 1 sector_nr 0-254
PARAM_VALUE 2 faila 0
PARAM_VALUE 3 failb 0
CAPPED_DATA 0 rbio->nr_sectors 1
CAPPED_DATA 0 rbio->stripe_nsectors 1
CAPPED_DATA 1 sector_nr 1
DATA_SOURCE 0 rbio $0
PARAM_COMPARE 0 rbio->stripe_nsectors > $1
PARAM_COMPARE 1 sector_nr < $0->stripe_nsectors
NO_OVERFLOW_SIMPLE 0 rbio->real_stripes
HALF_LOCKED2 &pool->lock

fs/btrfs/raid56.c set_rbio_raid6_extra_error() -> get_rbio_vertical_errors()

Type Parameter Key Value
PARAM_VALUE 0 rbio 4096-ptr_max
PARAM_VALUE 0 rbio->bio_list.head 0,4096-ptr_max
PARAM_VALUE 0 rbio->bio_list.head->bi_next 0
PARAM_VALUE 0 rbio->bio_list.tail 4096-ptr_max
PARAM_VALUE 0 rbio->bio_list.tail->bi_next 0
PARAM_VALUE 0 rbio->bio_paddrs 16,4096-ptr_max
PARAM_VALUE 0 rbio->bioc 4096-ptr_max
PARAM_VALUE 0 rbio->bioc->fs_info 4096-ptr_max
PARAM_VALUE 0 rbio->bioc->full_stripe_logical 0-18446744073709551104
PARAM_VALUE 0 rbio->error_bitmap 16,4096-ptr_max
PARAM_VALUE 0 rbio->finish_pointers 16,4096-ptr_max
PARAM_VALUE 0 rbio->hash_list.next 4096-ptr_max
PARAM_VALUE 0 rbio->hash_list.next->next 4096-ptr_max
PARAM_VALUE 0 rbio->hash_list.prev 4096-ptr_max
PARAM_VALUE 0 rbio->hash_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->hash_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.next 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->io_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbio->nr_data 1-255
PARAM_VALUE 0 rbio->operation 1
PARAM_VALUE 0 rbio->plug_list.next 4096-ptr_max
PARAM_VALUE 0 rbio->plug_list.next->next 4096-ptr_max
PARAM_VALUE 0 rbio->plug_list.prev 4096-ptr_max
PARAM_VALUE 0 rbio->plug_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->plug_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbio->real_stripes 2-255
PARAM_VALUE 0 rbio->refs.refs.counter 1
PARAM_VALUE 0 rbio->stripe_cache.next 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_cache.next->next 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_cache.prev 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_cache.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_cache.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_npages 16
PARAM_VALUE 0 rbio->stripe_nsectors 1-64
PARAM_VALUE 0 rbio->stripe_paddrs 16,4096-ptr_max
PARAM_VALUE 0 rbio->stripe_pages 16,4096-ptr_max
PARAM_VALUE 0 rbio->stripe_uptodate_bitmap 16,4096-ptr_max
PARAM_VALUE 0 rbio->stripes_pending.counter 0
PARAM_VALUE 1 sector_nr 0-63
PARAM_VALUE 2 faila 1131227248377327616
PARAM_VALUE 3 failb 2716127662117797888
BUF_SIZE 0 rbio 432
CAPPED_DATA 0 rbio->bioc->full_stripe_logical 1
CAPPED_DATA 0 rbio->real_stripes 1
CAPPED_DATA 1 sector_nr 1
DATA_SOURCE 0 rbio $0
PARAM_COMPARE 0 rbio->stripe_nsectors > $1
PARAM_COMPARE 1 sector_nr < $0->stripe_nsectors
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rbio->nr_pages
NO_OVERFLOW_SIMPLE 0 rbio->real_stripes
HALF_LOCKED2 &pool->lock