Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

fs/udf/truncate.c udf_update_alloc_ext_desc() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_data 4096-ptr_max
PARAM_VALUE 0 bh->b_data->descCRC 0-u16max
PARAM_VALUE 0 bh->b_data->descCRCLength 0-u16max
PARAM_VALUE 0 bh->b_data->tagChecksum 0-255
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &iinfo->i_data_sem
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
TYPE_LOCK (struct udf_inode_info)->i_data_sem

fs/udf/inode.c __udf_add_aext() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_data 4096-ptr_max
PARAM_VALUE 0 bh->b_data->descCRC 0-u16max
PARAM_VALUE 0 bh->b_data->descCRCLength 0-u16max
PARAM_VALUE 0 bh->b_data->tagChecksum 0-255
PARAM_VALUE 1 mmb 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &iinfo->i_data_sem
HALF_LOCKED2 &sbi->s_alloc_mutex

fs/udf/inode.c udf_bread() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 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
MEM_ZERO 0 bh->b_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/udf/inode.c udf_delete_aext() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_data 4096-ptr_max
PARAM_VALUE 0 bh->b_data->descCRC 0-u16max
PARAM_VALUE 0 bh->b_data->descCRCLength 0-u16max
PARAM_VALUE 0 bh->b_data->tagChecksum 0-255
PARAM_VALUE 1 mmb 4096-ptr_max
CAPPED_DATA 0 bh 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &iinfo->i_data_sem
HALF_LOCKED2 &sbi->s_alloc_mutex

fs/udf/inode.c udf_delete_aext() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_data 4096-ptr_max
PARAM_VALUE 0 bh->b_data->descCRC 0-u16max
PARAM_VALUE 0 bh->b_data->descCRCLength 0-u16max
PARAM_VALUE 0 bh->b_data->tagChecksum 0-255
PARAM_VALUE 1 mmb 4096-ptr_max
CAPPED_DATA 0 bh 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &iinfo->i_data_sem
HALF_LOCKED2 &sbi->s_alloc_mutex

fs/udf/inode.c udf_setup_indirect_aext() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 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
MEM_ZERO 0 bh->b_data
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &iinfo->i_data_sem
HALF_LOCKED2 &sbi->s_alloc_mutex

fs/udf/inode.c udf_write_aext() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &iinfo->i_data_sem
HALF_LOCKED2 &sbi->s_alloc_mutex

fs/minix/itree_v1.c alloc_branch() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 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
MEM_ZERO 0 bh->b_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/minix/itree_v1.c splice_branch() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 1-u64max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/minix/itree_v1.c truncate() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/minix/itree_v1.c truncate() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext2/inode.c __ext2_truncate_blocks() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ei->truncate_mutex
LOCK2 &inode->i_mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct ext2_inode_info)->truncate_mutex

fs/ext2/inode.c __ext2_truncate_blocks() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ei->truncate_mutex
LOCK2 &inode->i_mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct ext2_inode_info)->truncate_mutex

fs/ext2/inode.c ext2_alloc_branch() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 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
MEM_ZERO 0 bh->b_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ei->truncate_mutex
TYPE_LOCK (struct ext2_inode_info)->truncate_mutex

fs/ext2/inode.c ext2_splice_branch() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 1-u64max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ei->truncate_mutex
TYPE_LOCK (struct ext2_inode_info)->truncate_mutex

fs/fat/fatent.c fat12_ent_put() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->fat_lock

fs/fat/fatent.c fat12_ent_put() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->fat_lock
TYPE_LOCK (struct msdos_sb_info)->fat_lock

fs/fat/fatent.c fat16_ent_put() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->fat_lock

fs/fat/fatent.c fat32_ent_put() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->fat_lock

fs/fat/fatent.c fat_mirror_bhs() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 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
NOCHECK_CALL
HALF_LOCKED2 &sbi->fat_lock

fs/bfs/dir.c bfs_add_entry() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
DATA_SOURCE 0 bh r sb_bread
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->bfs_lock
TYPE_LOCK (struct bfs_sb_info)->bfs_lock

fs/bfs/dir.c bfs_rename() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->bfs_lock
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct bfs_sb_info)->bfs_lock

fs/bfs/dir.c bfs_unlink() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
DATA_SOURCE 0 bh r bfs_find_entry
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->bfs_lock
LOCK2 &target->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct bfs_sb_info)->bfs_lock
TYPE_LOCK (struct inode)->i_rwsem

fs/udf/directory.c udf_fiiter_write_fi() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/udf/directory.c udf_fiiter_write_fi() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/dir.c __fat_remove_entries() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/dir.c fat_add_entries() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/dir.c fat_add_entries() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/dir.c fat_add_new_entries() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/dir.c fat_alloc_new_dir() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/fat/dir.c fat_remove_entries() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &target->i_rwsem

fs/fat/dir.c fat_zeroed_cluster() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/ext4_jbd2.c __ext4_handle_dirty_metadata() -> mmb_mark_buffer_dirty()

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 $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bh->b_size
UNITS 0 bh unit_byte
USER_PTR 0 bh->b_data

fs/fat/namei_vfat.c vfat_update_dotdot_de() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 0,4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
DATA_SOURCE 0 bh $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_msdos.c do_msdos_rename() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_msdos.c do_msdos_rename() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/minix/itree_v2.c alloc_branch() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 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
MEM_ZERO 0 bh->b_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/minix/itree_v2.c splice_branch() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 1-u64max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/minix/itree_v2.c truncate() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/minix/itree_v2.c truncate() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 mmb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/udf/namei.c udf_symlink() -> mmb_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_assoc_buffers.next->prev 4096-ptr_max
PARAM_VALUE 0 bh->b_data->descTag.descCRC 0-u16max
PARAM_VALUE 0 bh->b_data->descTag.descCRCLength 0-u16max
PARAM_VALUE 0 bh->b_data->descTag.descVersion 0-u16max
PARAM_VALUE 0 bh->b_data->descTag.reserved 0-255
PARAM_VALUE 0 bh->b_data->descTag.tagChecksum 0-255
PARAM_VALUE 0 bh->b_data->descTag.tagIdent 0-u16max
PARAM_VALUE 0 bh->b_data->descTag.tagLocation 0-4294967295
PARAM_VALUE 0 bh->b_data->descTag.tagSerialNum 0-u16max
PARAM_VALUE 0 bh->b_data->lengthAllocDescs 0-4294967295
PARAM_VALUE 0 bh->b_data->previousAllocExtLocation 0-4294967295
PARAM_VALUE 0 bh->b_folio->mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 bh->b_folio->mapping->host->i_sb->s_fs_info->wbuf_pagesize 0-4294967295
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->dwork.work.is_hard 0-1
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->dwork.work.is_lazy 0-1
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->dwork.work.is_soft 0-1
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bh->b_folio->mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 mmb 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
MEM_ZERO 0 bh->b_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &iinfo->i_data_sem
TYPE_LOCK (struct udf_inode_info)->i_data_sem