Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/xfs_qm.c xfs_qm_dqfree_one() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_lru.next->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_lru.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_mount 4096-ptr_max
PARAM_VALUE 0 dqp->q_mount->m_quotainfo->qi_tree_lock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_mount->m_quotainfo->qi_tree_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dqp->q_mount->m_quotainfo->qi_tree_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dqp->q_mount->m_quotainfo->qi_tree_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dqp->q_mount->m_quotainfo->qi_tree_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dqp->q_mount->m_quotainfo->qi_tree_lock.wait_lock.dep_map->name 0-255
CAPPED_DATA 0 dqp->q_id 1
DATA_SOURCE 0 dqp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &bch_register_lock

fs/xfs/xfs_qm.c xfs_qm_dqpurge() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu u32max
PARAM_VALUE 0 dqp->q_flush.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_lockref.count (-128),0
PARAM_VALUE 0 dqp->q_lockref.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_bio_list.next->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_bio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_buf->b_sema.count 0,2147483648-u32max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_buf->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_buf->b_sema.lock.owner (-1)
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_buf->b_sema.lock.owner_cpu u32max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_log 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_mount 4096-ptr_max
PARAM_VALUE 0 dqp->q_qlock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_qlock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dqp->q_qlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dqp->q_qlock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_qlock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dqp->q_qlock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dqp->q_qlock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dqp->q_qlock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dqp->q_qlock.wait_lock.dep_map->name 0-255
CAPPED_DATA 0 dqp->q_id 1
CAPPED_DATA 0 &dqp->q_lru 1
CAPPED_DATA 0 &dqp->q_qlock 1
DATA_SOURCE 0 dqp $0
HARD_MAX 0 dqp->q_logitem.qli_item.li_buf->b_sema.count u32max
RX_PATH
NOCHECK_CALL
LOCK2 &qi->qi_tree_lock
HALF_LOCKED2 0 &dqp->q_logitem.qli_item.li_buf->b_sema
TYPE_LOCK (struct xfs_quotainfo)->qi_tree_lock

fs/xfs/xfs_qm.c xfs_qm_init_timelimits() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_blk.timer 0-17179869180
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dqp->q_ino.timer 0-17179869180
PARAM_VALUE 0 dqp->q_logitem.qli_dirty 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_type 4669
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0
PARAM_VALUE 0 dqp->q_qlock.owner.counter 0
PARAM_VALUE 0 dqp->q_rtb.timer 0-17179869180
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/xfs/xfs_qm.c xfs_qm_set_defquota() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_blk.timer 0-17179869180
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dqp->q_ino.timer 0-17179869180
PARAM_VALUE 0 dqp->q_logitem.qli_dirty 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_type 4669
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0
PARAM_VALUE 0 dqp->q_qlock.owner.counter 0
PARAM_VALUE 0 dqp->q_rtb.timer 0-17179869180
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/xfs/xfs_dquot.c xfs_qm_dqget() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_blk.timer 0-17179869180
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dqp->q_ino.timer 0-17179869180
PARAM_VALUE 0 dqp->q_logitem.qli_dirty 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_lv 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_type 4669
PARAM_VALUE 0 dqp->q_mount s64min-(-4096),4096-s64max
PARAM_VALUE 0 dqp->q_qlock.first_waiter 0
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0
PARAM_VALUE 0 dqp->q_qlock.owner.counter 0
PARAM_VALUE 0 dqp->q_rtb.timer 0-17179869180
NOSPEC 0 dqp->q_bufoffset
NOSPEC 0 dqp->q_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dqp->q_bufoffset 0-s32max[c]
USER_DATA 0 dqp->q_fileoffset 0-4294967295[c]
USER_DATA 0 dqp->q_id 0-4294967295[c]

fs/xfs/xfs_dquot.c xfs_qm_dqget_inode() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_blk.timer 0-17179869180
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dqp->q_ino.timer 0-17179869180
PARAM_VALUE 0 dqp->q_logitem.qli_dirty 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_lv 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_type 4669
PARAM_VALUE 0 dqp->q_mount s64min-(-4096),4096-s64max
PARAM_VALUE 0 dqp->q_qlock.first_waiter 0
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0
PARAM_VALUE 0 dqp->q_qlock.owner.counter 0
PARAM_VALUE 0 dqp->q_rtb.timer 0-17179869180
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_dquot.c xfs_qm_dqget_inode() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_blk.timer 0-17179869180
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dqp->q_ino.timer 0-17179869180
PARAM_VALUE 0 dqp->q_logitem.qli_dirty 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_lv 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_type 4669
PARAM_VALUE 0 dqp->q_mount s64min-(-4096),4096-s64max
PARAM_VALUE 0 dqp->q_qlock.first_waiter 0
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0
PARAM_VALUE 0 dqp->q_qlock.owner.counter 0
PARAM_VALUE 0 dqp->q_rtb.timer 0-17179869180
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_dquot.c xfs_qm_dqget_inode() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_blk.timer 0-17179869180
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dqp->q_ino.timer 0-17179869180
PARAM_VALUE 0 dqp->q_logitem.qli_dirty 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_lv 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_type 4669
PARAM_VALUE 0 dqp->q_mount s64min-(-4096),4096-s64max
PARAM_VALUE 0 dqp->q_qlock.first_waiter 0
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0
PARAM_VALUE 0 dqp->q_qlock.owner.counter 0
PARAM_VALUE 0 dqp->q_rtb.timer 0-17179869180
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_dquot.c xfs_qm_dqread() -> xfs_qm_dqdestroy()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_flush.wait.lock.owner_cpu u32max
PARAM_VALUE 0 dqp->q_flush.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dirty 0
PARAM_VALUE 0 dqp->q_logitem.qli_dquot 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_flush.wait.lock.owner (-1)
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_flush.wait.lock.owner_cpu u32max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_flush.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_flush.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_dquot 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_ail.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_ail.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_bio_list.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_bio_list.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_cil.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_cil.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_trans.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_logitem.qli_item.li_trans.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_lru.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_lru.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_mount 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_pinwait.head.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_pinwait.head.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_qlock.magic 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_dquot->q_type 1-2,4
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ail.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ail.next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ail.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ail.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ail.prev->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_bio_list.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_bio_list.next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_bio_list.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_bio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_bio_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_cil.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_cil.next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_cil.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_cil.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_cil.prev->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_lv 0
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->flags 0-2,5
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_committed 0,283025114569195520,5164564067102691328
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_committing 0,4828373187025854464,6929890327166103552,8391046949560442880
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_intent 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_match 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_pin 0,128515512824188928,1388028456347627520,2041315837493792768
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_precommit 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_push 0,925402561215127552,8226357149320933376,9036841439544610816
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_ops->iop_sort 0,4561676619972972544,7092074397265825792
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_trans.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_trans.next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_trans.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_trans.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_trans.prev->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_type 4669
PARAM_VALUE 0 dqp->q_lru.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_lru.next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_lru.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_lru.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_lru.prev->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_mount 4096-ptr_max
PARAM_VALUE 0 dqp->q_mount->m_qflags 1-u32max
PARAM_VALUE 0 dqp->q_mount->m_quotainfo 4096-ptr_max
PARAM_VALUE 0 dqp->q_pinwait.head.next 4096-ptr_max
PARAM_VALUE 0 dqp->q_pinwait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_pinwait.head.prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_pinwait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dqp->q_pinwait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dqp->q_qlock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_qlock.first_waiter 0
PARAM_VALUE 0 dqp->q_qlock.magic 4096-ptr_max
PARAM_VALUE 0 dqp->q_qlock.osq.tail.counter 0
PARAM_VALUE 0 dqp->q_qlock.owner.counter 0
PARAM_VALUE 0 dqp->q_type 1-2,4
BUF_SIZE 0 dqp->q_mount (-1),1-s32max
CAPPED_DATA 0 dqp->q_bufoffset 1
DATA_SOURCE 0 dqp r xfs_dquot_alloc
NOSPEC 0 dqp->q_bufoffset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dqp->q_bufoffset 0-s32max[c]
USER_DATA 0 dqp->q_fileoffset 0-u32max[c]
USER_DATA 0 dqp->q_id 0-u32max
USER_DATA 0 dqp->q_logitem.qli_dquot->q_bufoffset 0-s32max[c]
USER_DATA 0 dqp->q_logitem.qli_dquot->q_fileoffset 0-u32max[c]
USER_DATA 0 dqp->q_logitem.qli_dquot->q_id 0-u32max
USER_DATA 0 dqp->q_mount->m_rsumlevels 1-32[c]