Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/quota/dquot.c __dqgrab() -> remove_free_dquot()

Type Parameter Key Value
PARAM_VALUE 0 dquot 4096-ptr_max
PARAM_VALUE 0 dquot->dq_count.counter 0
BUF_SIZE 0 dquot->dq_sb (-1),80,2816
DATA_SOURCE 0 dquot $0
STR_LEN 0 dquot->dq_sb (-1),8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &dq_list_lock
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 0 &dquot->dq_lock

fs/quota/dquot.c dqcache_shrink_scan() -> remove_free_dquot()

Type Parameter Key Value
PARAM_VALUE 0 dquot 4096-ptr_max
PARAM_VALUE 0 dquot->dq_hash->next->pprev 1-u64max
PARAM_VALUE 0 dquot->dq_hash.next 0
PARAM_VALUE 0 dquot->dq_hash.next->pprev 1-u64max
PARAM_VALUE 0 dquot->dq_hash.pprev 0
PARAM_VALUE 0 dquot->dq_sb->dq_op->destroy_dquot 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &dq_list_lock
HALF_LOCKED2 global &bch_register_lock

fs/quota/dquot.c invalidate_dquots() -> remove_free_dquot()

Type Parameter Key Value
PARAM_VALUE 0 dquot 4096-ptr_max
PARAM_VALUE 0 dquot->dq_count.counter 0
PARAM_VALUE 0 dquot->dq_hash->next->pprev 1-u64max
PARAM_VALUE 0 dquot->dq_hash.next 0
PARAM_VALUE 0 dquot->dq_hash.next->pprev 1-u64max
PARAM_VALUE 0 dquot->dq_hash.pprev 0
PARAM_VALUE 0 dquot->dq_id.type 0-2
PARAM_VALUE 0 dquot->dq_sb 4096-ptr_max
PARAM_VALUE 0 dquot->dq_sb->dq_op->destroy_dquot 4096-ptr_max
CAPPED_DATA 0 dquot->dq_id.type 1
CAPPED_DATA 0 dquot->dq_sb 1
CAPPED_DATA 0 &dquot->dq_inuse 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &dq_list_lock
HALF_LOCKED2 &sb->s_umount

fs/quota/dquot.c quota_release_workfn() -> remove_free_dquot()

Type Parameter Key Value
PARAM_VALUE 0 dquot 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 global &dq_list_lock
HALF_LOCKED2 &pool->lock