Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/raid56.c steal_rbio() -> full_page_sectors_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 rbio 4096-ptr_max
PARAM_VALUE 0 rbio->bio_list.head 0
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->bioc->fs_info 4096-ptr_max
PARAM_VALUE 0 rbio->hash_list.next->prev 4096-ptr_max
PARAM_VALUE 0 rbio->hash_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rbio->stripe_pages 4096-ptr_max
PARAM_VALUE 1 page_nr 0-65534
CAPPED_DATA 0 rbio 1
CAPPED_DATA 1 page_nr 1
DATA_SOURCE 0 rbio $0
PARAM_COMPARE 1 page_nr < $0->nr_pages
PREEMPT_ADD
NO_OVERFLOW_SIMPLE 0 rbio->nr_data
NO_OVERFLOW_SIMPLE 0 rbio->real_stripes
NO_OVERFLOW_SIMPLE 1 page_nr
HALF_LOCKED2 &h->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &rbio->bio_list_lock