Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/hpfs/alloc.c alloc_in_bmp() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 8013061274906968064
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_fs_info->hpfs_mutex

fs/hpfs/alloc.c hpfs_alloc_if_possible() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 7856377133168439296
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/hpfs/alloc.c hpfs_free_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 5737255984822820864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/alloc.c hpfs_free_sectors() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 612637397926232064
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/alloc.c hpfs_free_sectors() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 612637397926232064
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 728696813918310400
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 728696813918310400
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 3968358052638806016
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 728696813918310400
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 3968358052638806016
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 728696813918310400
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 3968358052638806016
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 728696813918310400
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c delete_empty_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 3968358052638806016
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c fix_up_ptrs() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 4326859053931638784
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 8392427440761880576
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 8392427440761880576
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 8598491911160696832
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 8392427440761880576
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 8598491911160696832
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_remove_dirent() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 1287390439487766528,4527361282712035328,5998597991468331008
PARAM_VALUE 0 qbh->data 4096-ptr_max
DATA_SOURCE 0 qbh $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c move_to_top() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 1630184542421266432
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c move_to_top() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 1630184542421266432
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/namei.c hpfs_mkdir() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 6766157026397220864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &dentry->d_lockref.lock

fs/hpfs/namei.c hpfs_rename() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 8091605300689240064
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/inode.c hpfs_write_inode_nolock() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 3552708175923826688
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/inode.c hpfs_write_inode_nolock() -> hpfs_mark_4buffers_dirty()

Type Parameter Key Value
PARAM_VALUE 0 qbh 3552708175923826688
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex