Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/node.c remove_nats_in_journal() -> __set_nat_cache_dirty()

Type Parameter Key Value
PARAM_VALUE 0 nm_i 4096-ptr_max
PARAM_VALUE 1 ne 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &curseg->journal_rwsem
LOCK2 &nm_i->nat_tree_lock.internal_rwsem
LOCK2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
HALF_LOCKED2 &sbi->pin_sem.internal_rwsem
HALF_LOCKED2 &sbi->umount_mutex
TYPE_LOCK (struct curseg_info)->journal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/f2fs/node.c set_node_addr() -> __set_nat_cache_dirty()

Type Parameter Key Value
PARAM_VALUE 0 nm_i 4096-ptr_max
PARAM_VALUE 0 nm_i->nat_tree_lock.internal_rwsem.dep_map->name 0-255
PARAM_VALUE 0 nm_i->nat_tree_lock.internal_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 nm_i->nat_tree_lock.internal_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 nm_i->nat_tree_lock.internal_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nm_i->nat_tree_lock.internal_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 1 ne 4096-ptr_max
CAPPED_DATA 1 ne 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 ne->ni.ino
NO_OVERFLOW_SIMPLE 1 ne->ni.nid
LOCK2 0 &nm_i->nat_tree_lock.internal_rwsem
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->node_write.internal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem