Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/quota/quota_tree.c qtree_delete_dquot() -> remove_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dqi_qtree_depth | 0-5 |
| PARAM_VALUE | 1 | dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | dquot->dq_dqb.dqb_curinodes | 0 |
| PARAM_VALUE | 1 | dquot->dq_dqb.dqb_curspace | 0 |
| PARAM_VALUE | 1 | dquot->dq_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dquot->dq_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dquot->dq_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | dquot->dq_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | dquot->dq_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | dquot->dq_off | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | dquot->dq_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | dquot->dq_sb->dq_op->mark_dirty | 226909803865329664,1476694990693498880,6979004255413342208,8292536775685570560,9094924498567675904 |
| PARAM_VALUE | 2 | blks | 4096-ptr_max |
| PARAM_VALUE | 3 | depth | 0 |
| BUF_SIZE | 0 | info | (-1),8,48,856 |
| BUF_SIZE | 0 | info | (-1),8,48,856 |
| BUF_SIZE | 1 | dquot | (-1),1-s32max |
| BUF_SIZE | 1 | dquot | (-1),1-s32max |
| BUF_SIZE | 2 | blks | 24 |
| CAPPED_DATA | 1 | dquot->dq_sb | 1 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | dquot | $1 |
| HARD_MAX | 0 | info->dqi_qtree_depth | 5 |
| RX_PATH | |||
| LOCK2 | &pool->lock | ||
| HALF_LOCKED2 | &dqopt->dqio_sem | ||
| HALF_LOCKED2 | &oinfo->dqi_gqinode->i_rwsem | ||
| HALF_LOCKED2 | 1 | &dquot->dq_lock |
fs/quota/quota_tree.c remove_tree() -> remove_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dqi_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dqi_sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dqi_sb->s_op->quota_read | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dqi_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dqi_usable_bs | 0-4000000 |
| PARAM_VALUE | 1 | dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | dquot->dq_sb->dq_op->mark_dirty | 226909803865329664,1476694990693498880,6979004255413342208,8292536775685570560,9094924498567675904 |
| PARAM_VALUE | 1 | dquot->dq_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 2 | blks | 4096-ptr_max |
| PARAM_VALUE | 3 | depth | (-2147483614)-s32max |
| BUF_SIZE | 0 | info | (-1),4,8,24,48,64,168-s32max |
| BUF_SIZE | 0 | info | (-1),4,8,24,48,64,168-s32max |
| BUF_SIZE | 1 | dquot | (-1),1-s32max |
| BUF_SIZE | 1 | dquot | (-1),1-s32max |
| BUF_SIZE | 2 | blks | (-1),24 |
| BUF_SIZE | 2 | blks | (-1),24 |
| CAPPED_DATA | 0 | info->dqi_usable_bs | 1 |
| CAPPED_DATA | 3 | depth | 1 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | dquot | $1 |
| DATA_SOURCE | 2 | blks | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| NO_OVERFLOW_SIMPLE | 1 | dquot->dq_sb->s_blocksize | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | 1 | &dquot->dq_lock |