Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 11 files:
- block/bio.c
- fs/btrfs/disk-io.c, line 3932
- fs/btrfs/extent_io.c
- fs/buffer.c, line 1119
- fs/f2fs/data.c
- fs/gfs2/lops.c, line 565
- fs/iomap/bio.c
- fs/iomap/direct-io.c, line 327
- fs/jfs/jfs_metapage.c
- fs/xfs/xfs_verify_media.c, line 347
- fs/xfs/xfs_zone_gc.c, line 675
Smatch caller information:
fs/erofs/fileio.c erofs_read_meta_folio() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 16 |
| PARAM_VALUE | 0 | bio->bi_opf | 0 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 0 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | off | 0 |
| DATA_SOURCE | 1 | folio | $1 |
| NOCHECK_CALL |
fs/xfs/xfs_verify_media.c xfs_verify_media() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 0 |
| PARAM_VALUE | 0 | bio->bi_opf | 0 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 0 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-18446744073709551104 |
| PARAM_VALUE | 3 | off | 0 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | bio | r bio_alloc |
| DATA_SOURCE | 1 | folio | r xfs_verify_alloc_folio |
| CAPABLE | 0 | 21 | |
| BIT_INFO | 0 | bio->bi_iter.bi_sector | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | bio->bi_iter.bi_sector | |
| MEM_ZERO | 0 | bio | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | bio->bi_next->bi_max_vecs | 0-256[c] |
fs/f2fs/data.c add_bio_entry() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 3216969134761742336,3431802746402127872 |
| PARAM_VALUE | 0 | bio->bi_flags | 16 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0,8-34359738360 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 0-4,16,64,128,256 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 0 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | off | 0 |
| CAPPED_DATA | 1 | folio->index | 1 |
| DATA_SOURCE | 0 | bio | $1 |
| DATA_SOURCE | 1 | folio | $2 |
| BIT_INFO | 0 | bio->bi_end_io | 0x2ca0306242820000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | bio->bi_pool->bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | bio->bi_pool->bvec_pool.min_nr | |
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->gc_lock.internal_rwsem |
fs/f2fs/data.c f2fs_submit_page_bio() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 3216969134761742336,3431802746402127872 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0,8-34359738360 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 0-4,16,64,128,256 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 0 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | off | 0 |
| DATA_SOURCE | 0 | bio | r __bio_alloc |
| BIT_INFO | 0 | bio->bi_end_io | 0x2ca0306242820000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | bio->bi_pool->bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | bio->bi_pool->bvec_pool.min_nr | |
| HALF_LOCKED2 | &sbi->gc_lock.internal_rwsem |
fs/btrfs/extent_io.c read_extent_buffer_pages_nowait() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_io_vec | 0 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 0 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| CAPPED_DATA | 3 | off | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &fs_info->cleaner_mutex |
fs/btrfs/extent_io.c write_one_eb() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_io_vec | 0 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 0 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 2 | len | 1-4096 |
| PARAM_VALUE | 3 | off | 0 |
| CAPPED_DATA | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
fs/btrfs/extent_io.c write_one_eb() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_io_vec | 0 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 0 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| CAPPED_DATA | 1 | folio | 1 |
| CAPPED_DATA | 3 | off | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
fs/xfs/xfs_zone_gc.c xfs_zone_gc_add_data() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-1048576 |
| PARAM_VALUE | 3 | off | 0-1048575 |
| CAPPED_DATA | 2 | len | 1 |
| NOCHECK_CALL |
block/bio.c bio_iov_iter_bounce_write() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 6144032059269255168 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 1-u16max |
| PARAM_VALUE | 0 | bio->bi_vcnt | 0-65534 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | off | 0 |
| CAPPED_DATA | 0 | bio->bi_iter.bi_size | 1 |
| CAPPED_DATA | 0 | bio->bi_max_vecs | 1 |
| CAPPED_DATA | 0 | bio->bi_vcnt | 1 |
| DATA_SOURCE | 0 | bio | $0 |
| DATA_SOURCE | 1 | folio | r folio_alloc_greedy |
| PARAM_COMPARE | 0 | bio->bi_max_vecs | > $0->bi_vcnt |
| CONSTRAINT | 0 | bio->bi_vcnt | <2993 |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | bio->bi_iter.bi_sector | 0-36028797018963967 |
| USER_DATA | 0 | bio->bi_max_vecs | 1-4,16,64,128,256[c] |
| USER_DATA | 2 | len | 0-1048575[c] |
| HALF_LOCKED2 | &pool->lock |
fs/gfs2/lops.c gfs2_find_jhead() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 57454840631967744,4676696211173376000 |
| PARAM_VALUE | 1 | folio | 1-1025,1027-1029,1031-ptr_max |
| BUF_SIZE | 0 | bio->bi_private | (-1)-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | off | unit_byte |
| HALF_LOCKED2 | &sdp->sd_freeze_mutex |
fs/btrfs/disk-io.c write_dev_supers() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 9158580057881436160 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 4096 |
| CAPPED_DATA | 3 | off | 1 |
| CAPPED_DATA | 3 | off | 1 |
| DATA_SOURCE | 0 | bio | r bio_alloc |
| DATA_SOURCE | 1 | folio | r __filemap_get_folio |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &fs_info->fs_devices->device_list_mutex | ||
| LOCK2 | &fs_info->tree_log_mutex | ||
| TYPE_LOCK | (struct btrfs_fs_devices)->device_list_mutex | ||
| TYPE_LOCK | (struct btrfs_fs_info)->tree_log_mutex |
fs/buffer.c __bh_submit() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| CAPPED_DATA | 3 | off | 1 |
| DATA_SOURCE | 0 | bio | r bio_alloc |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | folio->index | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | folio | unit_page |
| UNITS | 2 | len | unit_byte |
fs/jfs/jfs_metapage.c metapage_read_folio() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 2280802542695321600 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | off | 0-s32max,18446744071562067968-u64max |
| CAPPED_DATA | 1 | folio | 1 |
| CAPPED_DATA | 1 | folio->mapping | 1 |
| DATA_SOURCE | 0 | bio | r bio_alloc |
| DATA_SOURCE | 1 | folio | $1 |
| NOSPEC | 1 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/jfs/jfs_metapage.c metapage_write_folio() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0 |
| PARAM_VALUE | 3 | off | 0 |
| BUF_SIZE | 0 | bio | 0 |
| CAPPED_DATA | 1 | folio | 1 |
| DATA_SOURCE | 1 | folio | $0 |
| BIT_INFO | 0 | bio | 0x0,0x0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/jfs/jfs_metapage.c metapage_write_folio() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 5616729233705668608 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | off | 0 |
| CAPPED_DATA | 1 | folio | 1 |
| DATA_SOURCE | 0 | bio | r bio_alloc |
| DATA_SOURCE | 1 | folio | $0 |
| BIT_INFO | 2 | len | 0x0,0xffffffff |
| BIT_INFO | 2 | len | 0x0,0xffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/iomap/direct-io.c iomap_dio_zero() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 6144032059269255168 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967,u64max |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | off | 0 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | bio | r iomap_dio_alloc_bio |
| DATA_SOURCE | 1 | folio | r largest_zero_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | bio->bi_iter.bi_sector | 0-36028797018963967[c] |
| USER_DATA | 0 | bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 2 | len | 1-s32max[c] |
| UNITS | 2 | len | unit_byte |
fs/iomap/bio.c iomap_bio_read_folio_range_sync() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 5119650771956187136 |
| PARAM_VALUE | 0 | bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_io_vec | 5696671373989339136 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967,u64max |
| PARAM_VALUE | 0 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 1 |
| PARAM_VALUE | 0 | bio->bi_opf | 0 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 0 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-u64max |
| CAPPED_DATA | 3 | off | 1 |
| DATA_SOURCE | 1 | folio | $1 |
| DATA_SOURCE | 2 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | bio->bi_iter.bi_sector | 0-36028797018963967[c] |
| USER_DATA | 1 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 3 | off | 0-9223372036854775807[c] |
| UNITS | 2 | len | unit_byte |
fs/iomap/bio.c iomap_read_alloc_bio() -> bio_add_folio_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bio | 4096-ptr_max |
| PARAM_VALUE | 0 | bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | bio->bi_flags | 0 |
| PARAM_VALUE | 0 | bio->bi_iter.bi_sector | 0-36028797018963967,u64max |
| PARAM_VALUE | 0 | bio->bi_iter.bi_size | 0 |
| PARAM_VALUE | 0 | bio->bi_max_vecs | 0-4,16,64,128,256 |
| PARAM_VALUE | 0 | bio->bi_status | 0 |
| PARAM_VALUE | 0 | bio->bi_vcnt | 0 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-u64max |
| BUF_SIZE | 0 | bio->bi_pool | (-1),624 |
| CAPPED_DATA | 3 | off | 1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | bio->bi_pool->bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | bio->bi_pool->bvec_pool.min_nr | |
| HALF_LOCKED2 | &mapping->invalidate_lock |