Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/inode.c ext4_block_journalled_zero_range() -> ext4_dirty_journalled_data()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 handle->h_transaction->t_journal->j_revoke_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 1 bh 4096-ptr_max
PARAM_VALUE 1 bh->b_folio 4096-ptr_max
PARAM_VALUE 1 bh->b_private 4096-ptr_max
BUF_SIZE 0 handle (-1),1-s32max
BUF_SIZE 0 handle (-1),1-s32max
BUF_SIZE 1 bh (-1)-s32max
BUF_SIZE 1 bh (-1)-s32max
DATA_SOURCE 0 handle r __ext4_journal_start
DATA_SOURCE 1 bh r ext4_load_tail_bh
NOSPEC 1 bh->b_blocknr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 bh->b_blocknr 0-576460756598390781,18446744069414584321-u64max
NO_OVERFLOW_SIMPLE 1 bh->b_size
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/inode.c write_end_fn() -> ext4_dirty_journalled_data()

Type Parameter Key Value
PARAM_VALUE 0 handle 0-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_checksum_type 4
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 1 bh 4096-ptr_max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 1 bh (-1),1-s32max
BUF_SIZE 1 bh (-1),1-s32max
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 bh $2
RX_PATH
TASK_NOT_RUNNING