Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.done 0-4294967293,u32max
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.osq.tail.counter 0-s32max
PARAM_VALUE 0 dqp->q_qlock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_qlock.wait_lock.owner (-1)
PARAM_VALUE 0 dqp->q_qlock.wait_lock.owner_cpu u32max
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
LOCK2 0 &dqp->q_qlock
HALF_LOCKED2 0 &dqp->q_logitem.qli_item.li_buf->b_sema
TYPE_LOCK (struct xfs_dquot)->q_qlock
TYPE_LOCK (struct xfs_quotainfo)->qi_tree_lock

fs/xfs/xfs_qm.c xfs_qm_dquot_isolate() -> xfs_dqfunlock()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.done 0-4294967293,u32max
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_lockref.count 0
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 0
PARAM_VALUE 0 dqp->q_logitem.qli_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_pincount.counter s32min-0
BIT_INFO 0 dqp->q_flags 0x0,0xfffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &dqp->q_lockref.lock
TYPE_LOCK (struct lockref)->lock

fs/xfs/xfs_dquot.c xfs_qm_dqflush() -> xfs_dqfunlock()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_flags 0,2-65534
PARAM_VALUE 0 dqp->q_flush.done 0-4294967293,u32max
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_logitem.qli_item.li_ailp->ail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_logitem.qli_item.li_buf->b_sema.count 0-2147483646
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_mount->m_healthmon->ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 dqp->q_mount->m_log 0,4096-ptr_max
PARAM_VALUE 0 dqp->q_mount->m_sb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dqp->q_mount->m_super 0,4096-ptr_max
DATA_SOURCE 0 dqp $0
BIT_INFO 0 dqp->q_flags 0x0,0xfffe
RX_PATH
NOCHECK_CALL
LOCK2 0 &dqp->q_qlock
HALF_LOCKED2 &ailp->ail_lock
HALF_LOCKED2 &qi->qi_tree_lock
HALF_LOCKED2 0 &dqp->q_logitem.qli_item.li_buf->b_sema
TYPE_LOCK (struct xfs_dquot)->q_qlock

fs/xfs/xfs_dquot.c xfs_qm_dqflush_done() -> xfs_dqfunlock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->b_sema

fs/xfs/xfs_dquot_item.c xfs_qm_dquot_logitem_push() -> xfs_dqfunlock()

Type Parameter Key Value
PARAM_VALUE 0 dqp 4096-ptr_max
PARAM_VALUE 0 dqp->q_flush.done 0-4294967293,u32max
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_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_pincount.counter s32min-0
CAPPED_DATA 0 &dqp->q_qlock 1
HARD_MAX 0 dqp->q_logitem.qli_item.li_buf->b_sema.count u32max
NOCHECK_CALL
LOCK2 &ailp->ail_lock
LOCK2 0 &dqp->q_qlock
TYPE_LOCK (struct xfs_dquot)->q_qlock