Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/btrfs/scrub.c scrub_bio_add_sector() -> bio_add_vmalloc()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 vaddr 4096-ptr_max
PREEMPT_ADD
UNITS 1 vaddr unit_byte
UNITS 2 len unit_byte

fs/xfs/xfs_log.c xlog_write_iclog() -> bio_add_vmalloc()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->__bi_cnt.counter 1
PARAM_VALUE 0 bio->__bi_nr_segments u32max
PARAM_VALUE 0 bio->__bi_remaining.counter 1
PARAM_VALUE 0 bio->bi_cookie u32max
PARAM_VALUE 0 bio->bi_end_io 8633221898245201920
PARAM_VALUE 0 bio->bi_flags 0
PARAM_VALUE 0 bio->bi_iter.bi_size 0
PARAM_VALUE 0 bio->bi_next 0
PARAM_VALUE 0 bio->bi_opf 38913,169985,301057,432129
PARAM_VALUE 0 bio->bi_pool 0
PARAM_VALUE 0 bio->bi_private 4096-ptr_max
PARAM_VALUE 0 bio->bi_status 0
PARAM_VALUE 0 bio->bi_vcnt 0
PARAM_VALUE 1 vaddr 4096-ptr_max
DATA_SOURCE 2 len $3
BIT_INFO 2 len 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 &iclog->ic_sema
HALF_LOCKED2 &log->l_icloglock
TYPE_LOCK (struct xlog_in_core)->ic_sema

block/blk-map.c bio_map_kern() -> bio_add_vmalloc()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->__bi_cnt.counter 1
PARAM_VALUE 0 bio->__bi_nr_segments u32max
PARAM_VALUE 0 bio->__bi_remaining.counter 1
PARAM_VALUE 0 bio->bi_bdev->bd_disk->queue->blkg_list.next 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_disk->queue->blkg_list.next->next 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_queue 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bio->bi_bvec_gap_bit 0
PARAM_VALUE 0 bio->bi_cookie u32max
PARAM_VALUE 0 bio->bi_crypt_context 0
PARAM_VALUE 0 bio->bi_end_io 0
PARAM_VALUE 0 bio->bi_flags 0
PARAM_VALUE 0 bio->bi_integrity 0
PARAM_VALUE 0 bio->bi_iocost_cost 0
PARAM_VALUE 0 bio->bi_ioprio 0
PARAM_VALUE 0 bio->bi_iter.bi_idx 0
PARAM_VALUE 0 bio->bi_iter.bi_offset 0
PARAM_VALUE 0 bio->bi_iter.bi_sector 0
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_next 0
PARAM_VALUE 0 bio->bi_pool 1237167795584647168
PARAM_VALUE 0 bio->bi_private 1-u64max
PARAM_VALUE 0 bio->bi_status 0
PARAM_VALUE 0 bio->bi_vcnt 0
PARAM_VALUE 0 bio->bi_write_hint 0
PARAM_VALUE 0 bio->bi_write_stream 0
PARAM_VALUE 0 bio->issue_time_ns 0
PARAM_VALUE 1 vaddr 1-u64max
PARAM_VALUE 2 len 1-4294966784
BUF_SIZE 0 bio->bi_private (-1)-s32max
BUF_SIZE 1 vaddr (-1)-s32max
BUF_SIZE 1 vaddr (-1)-s32max
CAPPED_DATA 1 vaddr 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 bio r blk_rq_map_bio_alloc
DATA_SOURCE 1 vaddr $1
DATA_SOURCE 2 len $2
PARAM_COMPARE 1 vaddr == $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bio->bi_max_vecs 0-4,16,64,128,256[c]
USER_DATA 2 len 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bio->bi_pool->bvec_pool.min_nr
UNITS 2 len unit_byte
BYTE_COUNT 1 ==vaddr2 8050
USER_PTR 0 bio->bi_private
USER_PTR 1 vaddr
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vblk->vdev_mutex

fs/xfs/xfs_buf.c xfs_buf_submit_bio() -> bio_add_vmalloc()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 2 len 0,512-4294966784
BUF_SIZE 1 vaddr s32min-(-2),1-s32max
DATA_SOURCE 0 bio r bio_alloc
BIT_INFO 2 len 0x0,0xfffffe00
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->b_sema