Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ext4/inode.c __ext4_get_inode_loc() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r sb_getblk
RX_PATH
TASK_NOT_RUNNING

fs/ext4/inode.c __ext4_get_inode_loc() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r sb_getblk
RX_PATH
TASK_NOT_RUNNING

fs/ext4/inode.c ext4_bread() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r ext4_getblk
RX_PATH
TASK_NOT_RUNNING

fs/ext4/inode.c ext4_bread_batch() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 1-u64max
RX_PATH
TASK_NOT_RUNNING

fs/ext4/inode.c ext4_get_inode_loc_noio() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
CAPPED_DATA 0 bh->b_folio 1
DATA_SOURCE 0 bh r sb_find_get_block
RX_PATH
TASK_NOT_RUNNING
LOCK2 &journal->j_barrier
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct journal_s)->j_barrier

fs/ext4/symlink.c ext4_get_link() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r ext4_getblk
RX_PATH
TASK_NOT_RUNNING

fs/ext4/super.c __ext4_sb_bread_gfp() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r sb_getblk_gfp
RX_PATH
TASK_NOT_RUNNING

fs/ext4/super.c ext4_read_bh() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bh->b_blocknr 0-576460756598390781,18446744069414584321-u64max
NO_OVERFLOW_SIMPLE 0 bh->b_size

fs/ext4/super.c ext4_read_bh_nowait() -> ext4_buffer_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bh->b_size