Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/readdir.c xchk_dir_walk_leaf() -> xchk_dir_walk_leaf param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 2 | dapos | 0-s32max |
| PARAM_VALUE | 3 | name | 926308372850401280 |
| PARAM_VALUE | 3 | name->len | 0-255 |
| PARAM_VALUE | 3 | name->type | 0-8 |
| PARAM_VALUE | 5 | priv | 4096-ptr_max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | dp | $1 |
| DATA_SOURCE | 5 | priv | $3 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 0-u64max |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| UNITS | 4 | ino | unit_byte |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/readdir.c xchk_dir_walk_sf() -> xchk_dir_walk_sf param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 3 | name | 7625479920431947776 |
| PARAM_VALUE | 3 | name->len | 1 |
| PARAM_VALUE | 3 | name->name | 7745655295473090560 |
| PARAM_VALUE | 3 | name->type | 2 |
| PARAM_VALUE | 5 | priv | 4096-ptr_max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | dp | $1 |
| DATA_SOURCE | 2 | dapos | r xfs_dir2_db_off_to_dataptr |
| DATA_SOURCE | 5 | priv | $3 |
| TERMINATED | 3 | name->name | 1 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 0-u64max |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/readdir.c xchk_dir_walk_sf() -> xchk_dir_walk_sf param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_df.if_data | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 3 | name | 7625479920431947776 |
| PARAM_VALUE | 3 | name->len | 2 |
| PARAM_VALUE | 3 | name->name | 2050331238599544832 |
| PARAM_VALUE | 3 | name->type | 2 |
| PARAM_VALUE | 4 | ino | 0-72057594037927935 |
| PARAM_VALUE | 5 | priv | 4096-ptr_max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | dp | $1 |
| DATA_SOURCE | 2 | dapos | r xfs_dir2_db_off_to_dataptr |
| DATA_SOURCE | 4 | ino | r xfs_dir2_sf_get_parent_ino |
| DATA_SOURCE | 5 | priv | $3 |
| TERMINATED | 3 | name->name | 1 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 0-u64max |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/readdir.c xchk_dir_walk_sf() -> xchk_dir_walk_sf param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_df.if_data | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 3 | name | 7625479920431947776 |
| PARAM_VALUE | 3 | name->len | 0-255 |
| PARAM_VALUE | 3 | name->type | 0-8 |
| PARAM_VALUE | 4 | ino | 0-72057594037927935 |
| PARAM_VALUE | 5 | priv | 4096-ptr_max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | dp | $1 |
| DATA_SOURCE | 2 | dapos | r xfs_dir2_db_off_to_dataptr |
| DATA_SOURCE | 4 | ino | r xfs_dir2_sf_get_ino |
| DATA_SOURCE | 5 | priv | $3 |
| TERMINATED | 3 | name->name | 1 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 0-u64max |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/readdir.c xchk_dir_walk_block() -> xchk_dir_walk_block param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dp->i_mount->m_dir_geo | 4096-ptr_max |
| PARAM_VALUE | 3 | name | 5104786088895229952 |
| PARAM_VALUE | 3 | name->len | 0-255 |
| PARAM_VALUE | 3 | name->type | 0-8 |
| PARAM_VALUE | 5 | priv | 4096-ptr_max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| BUF_SIZE | 5 | priv | (-1),16,40,72,192-s32max |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | dp | $1 |
| DATA_SOURCE | 2 | dapos | r xfs_dir2_db_off_to_dataptr |
| DATA_SOURCE | 5 | priv | $3 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 0-u64max |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| UNITS | 4 | ino | unit_byte |
| USER_PTR | 0 | sc->sm->sm_reserved |