Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ext4/inode.c ext4_block_write_begin() -> ext4_read_bh_lock()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 op_flags 0
PARAM_VALUE 2 wait 0
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bh->b_size
HALF_LOCKED2 &mapping->invalidate_lock

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

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 op_flags 12288
PARAM_VALUE 2 wait 1
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_read_bh_lock()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 op_flags 12288
PARAM_VALUE 2 wait 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/inode.c ext4_load_tail_bh() -> ext4_read_bh_lock()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 op_flags 0
PARAM_VALUE 2 wait 1
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
NOSPEC 0 bh->b_blocknr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bh->b_blocknr 0-576460756598390781,18446744069414584321-u64max
NO_OVERFLOW_SIMPLE 0 bh->b_size
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

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

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 op_flags 4096,12288
PARAM_VALUE 2 wait 1
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
BIT_INFO 1 op_flags 0x1000,0x3fff
RX_PATH
TASK_NOT_RUNNING