Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dquot 4096-ptr_max
DATA_SOURCE 1 space $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 space s64min-s64max[c]
UNITS 1 space unit_byte
LOCK2 &inode->i_lock
LOCK2 global &dquot_srcu
LOCK2 0 &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() -> info_bdq_free()

Type Parameter Key Value
PARAM_VALUE 0 dquot 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 1 space unit_byte
LOCK2 &inode->i_lock
LOCK2 global &dq_data_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock