Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/xfs/scrub/btree.c xchk_btree_block_check_sibling() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| 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 | bp | 4096-ptr_max |
| NOCHECK_CALL | |||
| 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.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.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.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.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_rec.rc.rc_startblock | |
| 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.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sr.refc_cur->bc_rec.rc.rc_startblock |
fs/xfs/scrub/btree.c xchk_btree_get_block() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| 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.refc_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_ag.agbp->b_map_count |
fs/xfs/scrub/dir.c xchk_dir_rec() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm->sm_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/scrub/dir.c xchk_directory_data_bestfree() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_disk_size | 6-s64max |
| PARAM_VALUE | 0 | sc->ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| 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->sm | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| DATA_SOURCE | 0 | sc | $0 |
| NOCHECK_CALL | |||
| 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 | 1 | bp->b_map_count | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/dir.c xchk_directory_free_bestfree() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_disk_size | 6-s64max |
| PARAM_VALUE | 0 | sc->ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| 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->sm | 4096-ptr_max |
| 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 | bp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| DATA_SOURCE | 0 | sc | $0 |
| NOCHECK_CALL | |||
| 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 | 1 | bp->b_map_count | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/dir.c xchk_directory_leaf1_bestfree() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_disk_size | 6-s64max |
| PARAM_VALUE | 0 | sc->ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| 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->sm | 4096-ptr_max |
| 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 | bp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| DATA_SOURCE | 0 | sc | $0 |
| BIT_INFO | 0 | sc->sm->sm_flags | 0x0,0xfffffffd |
| NOCHECK_CALL | |||
| 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 | 1 | bp->b_map_count | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/dabtree.c xchk_da_btree_block() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/scrub/dabtree.c xchk_da_btree_block_check_sibling() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 1-u64max |
| NOCHECK_CALL |
fs/xfs/scrub/agheader.c xchk_agf() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 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_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 1 | bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | bp->b_rcu.next | 0 |
| PARAM_VALUE | 1 | bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 1 | bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bp->b_transp | 0 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOSPEC | 0 | sc->sm->sm_type | |
| NOCHECK_CALL | |||
| 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/agheader.c xchk_agfl() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 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 | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOSPEC | 0 | sc->sm->sm_type | |
| NOCHECK_CALL | |||
| 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 | 1 | bp->b_map_count | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/agheader.c xchk_agi() -> xchk_buffer_recheck()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 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_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 1 | bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | bp->b_rcu.next | 0 |
| PARAM_VALUE | 1 | bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 1 | bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bp->b_transp | 0 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOSPEC | 0 | sc->sm->sm_type | |
| NOCHECK_CALL | |||
| 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 |