Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/quota/dquot.c __dquot_free_space() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 0 warn->w_type 0
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 10
CAPPED_DATA 1 dquot->dq_dqb.dqb_bsoftlimit 1
DATA_SOURCE 2 warntype r info_bdq_free
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 global &dquot_srcu
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c __dquot_transfer() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 1-u64max
PARAM_VALUE 2 warntype 8
DATA_SOURCE 2 warntype r info_idq_free
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 global &dq_data_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c __dquot_transfer() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 1-u64max
PARAM_VALUE 2 warntype 10
DATA_SOURCE 2 warntype r info_bdq_free
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 global &dq_data_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c dquot_add_inodes() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 1
CAPPED_DATA 1 dquot->dq_dqb.dqb_ihardlimit 1
DATA_SOURCE 0 warn $2
DATA_SOURCE 1 dquot $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &dq_data_lock
HALF_LOCKED2 global &dquot_srcu
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c dquot_add_inodes() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 2
CAPPED_DATA 1 dquot->dq_dqb.dqb_isoftlimit 1
CAPPED_DATA 1 dquot->dq_dqb.dqb_itime 1
DATA_SOURCE 0 warn $2
DATA_SOURCE 1 dquot $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &dq_data_lock
HALF_LOCKED2 global &dquot_srcu
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c dquot_add_inodes() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 3
CAPPED_DATA 1 dquot->dq_dqb.dqb_isoftlimit 1
DATA_SOURCE 0 warn $2
DATA_SOURCE 1 dquot $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &dq_data_lock
HALF_LOCKED2 global &dquot_srcu
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c dquot_add_space() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 4
CAPPED_DATA 1 dquot->dq_dqb.dqb_bhardlimit 1
DATA_SOURCE 0 warn $4
DATA_SOURCE 1 dquot $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &dq_data_lock
HALF_LOCKED2 global &dquot_srcu
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c dquot_add_space() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 5
CAPPED_DATA 1 dquot->dq_dqb.dqb_bsoftlimit 1
CAPPED_DATA 1 dquot->dq_dqb.dqb_btime 1
DATA_SOURCE 0 warn $4
DATA_SOURCE 1 dquot $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &dq_data_lock
HALF_LOCKED2 global &dquot_srcu
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c dquot_add_space() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 6
CAPPED_DATA 1 dquot->dq_dqb.dqb_bsoftlimit 1
DATA_SOURCE 0 warn $4
DATA_SOURCE 1 dquot $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &dq_data_lock
HALF_LOCKED2 global &dquot_srcu
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock

fs/quota/dquot.c dquot_free_inode() -> prepare_warning()

Type Parameter Key Value
PARAM_VALUE 0 warn 4096-ptr_max
PARAM_VALUE 0 warn->w_type 0
PARAM_VALUE 1 dquot 4096-ptr_max
PARAM_VALUE 2 warntype 8
CAPPED_DATA 1 dquot->dq_dqb.dqb_isoftlimit 1
DATA_SOURCE 2 warntype r info_idq_free
PARAM_COMPARE 1 dquot->dq_dqb.dqb_curinodes > $1->dq_dqb.dqb_isoftlimit
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_lock
LOCK2 global &dquot_srcu
LOCK2 1 &dquot->dq_dqb_lock
HALF_LOCKED2 &(inode->i_sb)->s_fs_info->nfs_sync_rwlock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &inode_alloc_inode->i_rwsem
TYPE_LOCK (struct dquot)->dq_dqb_lock
TYPE_LOCK (struct inode)->i_lock