Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/node.c f2fs_destroy_node_manager() -> __del_from_nat_cache()

Type Parameter Key Value
PARAM_VALUE 0 nm_i 4096-ptr_max
PARAM_VALUE 0 nm_i->free_nid_list.next 4096-ptr_max
PARAM_VALUE 0 nm_i->nat_list_lock.rlock.dep_map->name 0-255
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 0 nm_i->nid_cnt 4096-ptr_max
PARAM_VALUE 0 nm_i->nid_list_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &nm_i->free_nid_list 1
PARAM_COMPARE 0 &nm_i->free_nid_list == $0->free_nid_list.next
NOCHECK_CALL
LOCK2 0 &nm_i->nat_tree_lock.internal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/f2fs/node.c f2fs_try_to_free_nats() -> __del_from_nat_cache()

Type Parameter Key Value
PARAM_VALUE 0 nm_i 4096-ptr_max
PARAM_VALUE 0 nm_i->nat_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 e 4096-ptr_max
CAPPED_DATA 0 &nm_i->nat_entries 1
PARAM_COMPARE 0 &nm_i->nat_entries != $0->nat_entries.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &nm_i->nat_tree_lock.internal_rwsem
HALF_LOCKED2 &sbi->umount_mutex
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem