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] |