Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/direct-io.c __blockdev_direct_IO() -> do_direct_IO()

Type Parameter Key Value
PARAM_VALUE 0 dio 4096-ptr_max
PARAM_VALUE 0 dio->flags 0,3
PARAM_VALUE 0 dio->inode 4096-ptr_max
PARAM_VALUE 0 dio->inode->i_sb 4096-ptr_max
PARAM_VALUE 0 dio->iocb 4096-ptr_max
PARAM_VALUE 0 dio->iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 dio->is_async 0-1
PARAM_VALUE 0 dio->opf 0,34817
PARAM_VALUE 0 dio->refcount 1
PARAM_VALUE 1 sdio 8554987485265027072
PARAM_VALUE 1 sdio->bio 0
PARAM_VALUE 1 sdio->blkbits 0-255
PARAM_VALUE 1 sdio->blkfactor 0-255,4294967041-u32max
PARAM_VALUE 1 sdio->block_in_file 0-9223372036854775807,u64max
PARAM_VALUE 1 sdio->blocks_available 0
PARAM_VALUE 1 sdio->boundary 0
PARAM_VALUE 1 sdio->cur_page 0
PARAM_VALUE 1 sdio->cur_page_block 0
PARAM_VALUE 1 sdio->cur_page_fs_offset 0
PARAM_VALUE 1 sdio->cur_page_len 0
PARAM_VALUE 1 sdio->cur_page_offset 0
PARAM_VALUE 1 sdio->final_block_in_bio u64max
PARAM_VALUE 1 sdio->final_block_in_request 0-9223372036854775807,u64max
PARAM_VALUE 1 sdio->from 0
PARAM_VALUE 1 sdio->head 0
PARAM_VALUE 1 sdio->iter 4096-ptr_max
PARAM_VALUE 1 sdio->logical_offset_in_bio 0
PARAM_VALUE 1 sdio->next_block_for_io u64max
PARAM_VALUE 1 sdio->reap_counter 0
PARAM_VALUE 1 sdio->start_zero_done 0
PARAM_VALUE 1 sdio->tail 0
PARAM_VALUE 1 sdio->to 0
PARAM_VALUE 2 map_bh 7665548196098056192
PARAM_VALUE 2 map_bh->b_assoc_buffers.next 0
PARAM_VALUE 2 map_bh->b_bdev 0
PARAM_VALUE 2 map_bh->b_blocknr 0
PARAM_VALUE 2 map_bh->b_data 0
PARAM_VALUE 2 map_bh->b_folio 0
PARAM_VALUE 2 map_bh->b_mmb 0
PARAM_VALUE 2 map_bh->b_page 0
PARAM_VALUE 2 map_bh->b_private 0
PARAM_VALUE 2 map_bh->b_size 0
PARAM_VALUE 2 map_bh->b_state 0
DATA_SOURCE 0 dio r kmem_cache_alloc_noprof
FUZZY_MAX 0 dio->is_async 1
FUZZY_MAX 0 dio->opf 34817
BIT_INFO 0 dio->opf 0x0,0x8801
NOSPEC 0 dio->iocb->ki_pos
HARD_MAX 0 dio->is_async 1
HARD_MAX 0 dio->opf 34817
MEM_ZERO 0 dio
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dio->iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 dio->iocb->ki_ioprio 0-u16max
USER_DATA 0 dio->iocb->ki_pos s64min-(-2),0-s64max
USER_DATA 1 sdio->block_in_file 0-9223372036854775807,u64max
USER_DATA 1 sdio->pages_in_io 1-524291[c][u]
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock