Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/dabtree.c xchk_da_btree() -> xchk_da_btree_node_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ds | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ds->dargs.geo | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.op_flags | 8 |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.whichfork | 0-1 |
| PARAM_VALUE | 0 | ds->maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->private | 0,3683963201846202368 |
| PARAM_VALUE | 0 | ds->sc | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ds->state->args->trans->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->trans->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->path.active | 1-5 |
| PARAM_VALUE | 0 | ds->state->path.blk | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->tree_level | s32min-4 |
| PARAM_VALUE | 0 | *ds->hashes | 0-4294967295 |
| PARAM_VALUE | 0 | *ds->private | (-4611686018427387904) |
| PARAM_VALUE | 1 | level | 0-4 |
| BUF_SIZE | 0 | ds | 224 |
| BUF_SIZE | 0 | ds->private | (-1),4 |
| BUF_SIZE | 0 | ds->sc | (-1),240 |
| BUF_SIZE | 0 | ds->state->args | 144 |
| CAPPED_DATA | 0 | ds->lowest | 1 |
| CAPPED_DATA | 0 | ds->tree_level | 1 |
| DATA_SOURCE | 0 | ds | r _kzalloc_noprof |
| FUZZY_MAX | 1 | level | 0 |
| HARD_MAX | 1 | level | 4 |
| NO_OVERFLOW_SIMPLE | 0 | ds->state->args->rmtvaluelen |
fs/xfs/scrub/dabtree.c xchk_da_btree_block() -> xchk_da_btree_node_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ds | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ds->dargs.geo | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.op_flags | 8 |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.whichfork | 0-1 |
| PARAM_VALUE | 0 | ds->maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->private | 0,3683963201846202368 |
| PARAM_VALUE | 0 | ds->sc | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->sm->sm_flags | 0,2-u32max |
| PARAM_VALUE | 0 | ds->state | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->altpath.active | 0 |
| PARAM_VALUE | 0 | ds->state->args | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->dp->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ds->state->args->trans->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->trans->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->path.active | 1-5 |
| PARAM_VALUE | 0 | ds->state->path.blk | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->tree_level | s32min-3 |
| PARAM_VALUE | 0 | *ds->hashes | 0-4294967295 |
| PARAM_VALUE | 0 | *ds->private | (-4611686018427387904) |
| PARAM_VALUE | 1 | level | 0-3 |
| BUF_SIZE | 0 | ds | 224 |
| BUF_SIZE | 0 | ds->private | (-1),4 |
| BUF_SIZE | 0 | ds->state->args | 144 |
| CAPPED_DATA | 0 | ds->lowest | 1 |
| CAPPED_DATA | 0 | ds->state->path.active | 1 |
| DATA_SOURCE | 0 | ds | $0 |
| FUZZY_MAX | 0 | ds->state->path.active | 5 |
| BIT_INFO | 0 | ds->tree_level | 0x0,0x7fffffff |
| HARD_MAX | 0 | ds->state->path.active | 5 |
| MEM_ZERO | 0 | &ds->state->altpath | |
| NO_OVERFLOW_SIMPLE | 0 | ds->state->args->rmtvaluelen |
fs/xfs/scrub/dabtree.c xchk_da_btree_hash() -> xchk_da_btree_node_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ds | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.geo | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.op_flags | 8 |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.trans->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->dargs.whichfork | 0-1 |
| PARAM_VALUE | 0 | ds->hashes | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->private | 0,3683963201846202368 |
| PARAM_VALUE | 0 | ds->sc | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->trans->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->state->args->trans->t_mountp->m_healthmon->ref.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | ds->state->args->trans->t_mountp->m_sb_bp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | ds->state->path.active | 1-5 |
| PARAM_VALUE | 0 | ds->state->path.blk | 4096-ptr_max |
| PARAM_VALUE | 0 | ds->tree_level | s32min-4 |
| PARAM_VALUE | 0 | *ds->hashes | 0-4294967295 |
| PARAM_VALUE | 1 | level | 0-3 |
| BUF_SIZE | 0 | ds | 224 |
| BUF_SIZE | 0 | ds->private | (-1),4 |
| BUF_SIZE | 0 | ds->state->args | 144 |
| CAPPED_DATA | 0 | ds->lowest | 1 |
| CAPPED_DATA | 0 | ds->tree_level | 1 |
| DATA_SOURCE | 0 | ds | $0 |
| NO_OVERFLOW_SIMPLE | 0 | ds->state->args->rmtvaluelen |