Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> xfs_dir2_leafn_lookup_int()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 args 4096-ptr_max
PARAM_VALUE 1 args->dp 4096-ptr_max
PARAM_VALUE 1 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 1 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 1 args->geo 4096-ptr_max
PARAM_VALUE 1 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 indexp 4096-ptr_max
PARAM_VALUE 3 state 4096-ptr_max
PARAM_VALUE 3 state->args 4096-ptr_max
PARAM_VALUE 3 state->args->dp 4096-ptr_max
PARAM_VALUE 3 state->args->dp->i_mount 4096-ptr_max
PARAM_VALUE 3 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 3 state->args->geo 4096-ptr_max
PARAM_VALUE 3 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 3 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 3 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 3 state->path.active 1-5
PARAM_VALUE 3 state->path.blk 4096-ptr_max
DATA_SOURCE 3 state $0
FUZZY_MAX 3 state->path.active 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 args->hashval 0-u32max[c]
USER_DATA 1 args->valuelen 0-65536
USER_DATA 3 state->args->hashval 0-u32max[c]
USER_DATA 3 state->args->valuelen 0-65536
USER_DATA 3 *state->args->name 0-255
USER_DATA 3 *state->args->value s64min-s64max
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
NO_OVERFLOW_SIMPLE 1 args->rmtvaluelen
NO_OVERFLOW_SIMPLE 3 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 3 state->extrablk.bp->b_map_count
USER_PTR 1 args->name
USER_PTR 1 args->value
USER_PTR 3 state->args->name
USER_PTR 3 state->args->value