Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/common.c xchk_perag_drain_and_lock() -> xchk_perag_read_headers()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->relax.resched_nr 0-99
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->sa.bno_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->type 0-2
PARAM_VALUE 0 sc->sa.bno_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->type 0-2
PARAM_VALUE 0 sc->sa.cnt_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->type 0-2
PARAM_VALUE 0 sc->sa.fino_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->type 0-2
PARAM_VALUE 0 sc->sa.ino_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->type 0-2
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->type 0-2
PARAM_VALUE 0 sc->sa.rmap_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 sa 4096-ptr_max
PARAM_VALUE 1 sa->agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 sa->agi_bp->b_sema.first_waiter->up 0-1
BUF_SIZE 1 sa 72
DATA_SOURCE 0 sc $0
PARAM_COMPARE 0 &sc->sa == $1
NOSPEC 0 sc->sm->sm_type
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
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE 1 sa->agf_bp->b_map_count
NO_OVERFLOW_SIMPLE 1 sa->agi_bp->b_map_count
USER_PTR 0 sc->sm->sm_reserved