Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/f2fs/segment.c f2fs_update_device_state() -> f2fs_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max
PARAM_VALUE 1 addr 4096-ptr_max
BUF_SIZE 1 addr 4
CAPPED_DATA 0 nr 1
DATA_SOURCE 0 nr r f2fs_target_device_index
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->dev_lock
TYPE_LOCK (struct f2fs_sb_info)->dev_lock

fs/f2fs/checkpoint.c __add_ino_entry() -> f2fs_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
BUF_SIZE 1 addr 4
DATA_SOURCE 0 nr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &im->ino_lock
TYPE_LOCK (struct inode_management)->ino_lock