Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/node.c f2fs_fsync_node_pages() -> __write_node_folio()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 *folio->_mm_id 0-4294967295
PARAM_VALUE 3 submitted 3837024388422733824
PARAM_VALUE 3 *submitted 0
PARAM_VALUE 4 wbc 8619990287835803648
PARAM_VALUE 4 wbc->fbatch.i 0
PARAM_VALUE 4 wbc->for_background 0
PARAM_VALUE 4 wbc->for_kupdate 0
PARAM_VALUE 4 wbc->for_sync 0
PARAM_VALUE 4 wbc->index 0
PARAM_VALUE 4 wbc->inode 0
PARAM_VALUE 4 wbc->nr_to_write s64max
PARAM_VALUE 4 wbc->pages_skipped 0
PARAM_VALUE 4 wbc->sync_mode 1
PARAM_VALUE 4 wbc->wb 0
PARAM_VALUE 4 wbc->wb_bytes 0
PARAM_VALUE 4 wbc->wb_id 0
PARAM_VALUE 5 do_balance 1
PARAM_VALUE 6 io_type 8
PARAM_VALUE 7 seq_id 1194590664772800512
CAPPED_DATA 0 folio 1
DATA_SOURCE 4 wbc $2
DATA_SOURCE 7 seq_id $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/f2fs/node.c f2fs_sync_node_pages() -> __write_node_folio()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 *folio->_mm_id 0-4294967295
PARAM_VALUE 1 atomic 0
PARAM_VALUE 2 do_fsync 0
PARAM_VALUE 3 submitted 3819828480771264512
PARAM_VALUE 3 *submitted 0
PARAM_VALUE 4 wbc 268937840601612288,388796424924803072,831053748791767040,1416273869046693888,5289549940995424256,6525347519402446848,8349933177266966528
PARAM_VALUE 4 wbc->inode 0,4096-ptr_max
PARAM_VALUE 4 wbc->wb 0,4096-ptr_max
PARAM_VALUE 4 wbc->wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 4 wbc->wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 4 wbc->wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 6 io_type 8,13
PARAM_VALUE 7 seq_id 0
DATA_SOURCE 4 wbc $1
DATA_SOURCE 5 do_balance $2
DATA_SOURCE 6 io_type $3
STR_LEN 4 wbc->inode (-1)
NOSPEC 4 wbc->inode->i_bytes
NOSPEC 4 wbc->inode->i_mode
NOSPEC 4 wbc->inode->i_size
HARD_MAX 6 io_type 13
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 wbc->inode->__i_nlink 1-u32max
USER_DATA 4 wbc->inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 4 wbc->inode->i_bytes 0-65023[c]
USER_DATA 4 wbc->inode->i_ino 0-u64max
USER_DATA 4 wbc->inode->i_mode 0-u16max
USER_DATA 4 wbc->inode->i_rdev 0-u32max[c]
USER_DATA 4 wbc->inode->i_size (-9223372036854775807)-(-2),0-s64max
USER_DATA 4 wbc->range_end s64min-s64max
USER_DATA 4 wbc->range_start s64min-s64max
NO_OVERFLOW_SIMPLE 4 wbc->inode->i_blkbits
NO_OVERFLOW_SIMPLE 4 wbc->inode->i_linklen
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &sbi->node_change.internal_rwsem

fs/f2fs/node.c f2fs_write_single_node_folio() -> __write_node_folio()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 *folio->_mm_id 0-4294967295
PARAM_VALUE 1 atomic 0
PARAM_VALUE 2 do_fsync 0
PARAM_VALUE 3 submitted 0
PARAM_VALUE 4 wbc 6020988403561488384
PARAM_VALUE 4 wbc->fbatch.i 0
PARAM_VALUE 4 wbc->for_background 0
PARAM_VALUE 4 wbc->for_kupdate 0
PARAM_VALUE 4 wbc->for_sync 0
PARAM_VALUE 4 wbc->index 0
PARAM_VALUE 4 wbc->inode 0
PARAM_VALUE 4 wbc->nr_to_write 1
PARAM_VALUE 4 wbc->pages_skipped 0
PARAM_VALUE 4 wbc->sync_mode 1
PARAM_VALUE 4 wbc->wb 0
PARAM_VALUE 4 wbc->wb_bytes 0
PARAM_VALUE 4 wbc->wb_id 0
PARAM_VALUE 5 do_balance 0
PARAM_VALUE 6 io_type 8,11
PARAM_VALUE 7 seq_id 0
DATA_SOURCE 0 folio $0
DATA_SOURCE 6 io_type $3
HARD_MAX 6 io_type 11
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem