Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_extents_to_btree() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_bmap.allocated | 1 |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.whichfork | 0-1 |
| PARAM_VALUE | 0 | cur->bc_maxlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 2173030708748693504 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 8 |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr->bb_magic | 0,1094857538-1094857539,1094865986-1094865987,1112359219,1112359248,1181904743,1379092035,1380794931,1480672844,1480673094,1480675917,1480864322,1480864324,1480868403,1480868915,1481854029 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_leftsib | (-1) |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_lsn | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_pad | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_rightsib | (-1) |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_leftsib | 4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_lsn | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_owner | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_rightsib | 4294967295 |
| PARAM_VALUE | 1 | bp->b_error | 0 |
| PARAM_VALUE | 1 | bp->b_flags | 0,2097152 |
| PARAM_VALUE | 1 | bp->b_map_count | 0-s32max |
| PARAM_VALUE | 1 | bp->b_ops | 1451147070678659072 |
| PARAM_VALUE | 1 | bp->b_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 2 | fields | 31 |
| DATA_SOURCE | 0 | cur | r xfs_bmbt_init_cursor |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_ino.ip->i_disk_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_ino.ip->i_disk_size | (-9223372036854775807)-s64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr->bb_magic | 0,1094857538-1094857539,1094865986-1094865987,1112359219,1112359248,1181904743,1379092035,1380794931,1480672844,1480673094,1480675917,1480864322,1480864324,1480868403,1480868915,1481854029 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_leftsib | (-1) |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_lsn | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_pad | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_rightsib | (-1) |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_leftsib | 4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_lsn | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_owner | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_rightsib | 4294967295 |
| PARAM_VALUE | 1 | bp->b_flags | 0-270532608 |
| PARAM_VALUE | 1 | bp->b_lockref.count | 1-s32max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp->b_map_count | 0-s32max |
| PARAM_VALUE | 1 | bp->b_maps | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 2 | fields | 31 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_maps | 4096-ptr_max |
| PARAM_VALUE | 2 | fields | 20 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| PARAM_VALUE | 2 | fields | 8 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/libxfs/xfs_btree.c xfs_btree_block_change_owner() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_filestream->grp_time | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->alloc_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->broot_realloc | 0,205008320403959808,1877799289265856512,4624930743969431552 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_key_with_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->dup_cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->free_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->geom_flags | 0-3 |
| PARAM_VALUE | 0 | cur->bc_ops->get_dmaxrecs | 0,3492848713905295360,3901288766128197632,8955386628324601856 |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->keys_contiguous | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->keys_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->lru_refs | 1-3 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->recs_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->set_root | 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->statoff | 76,91,106,121,136,151,166,181,196,211,226,241 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_ops->update_cursor | 0,2872932845050183680 |
| PARAM_VALUE | 0 | cur->bc_tp | 1-u64max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_format_count | 1-s32max |
| PARAM_VALUE | 2 | fields | 256 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur->bc_ino.ip | (-1),1-s32max |
| BUF_SIZE | 0 | cur->bc_tp | (-1),1-s32max |
| DATA_SOURCE | 0 | cur | $0 |
| FUZZY_MAX | 0 | cur->bc_ops->ptr_len | 8 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| BIT_INFO | 0 | cur->bc_ops->ptr_len | 0x0,0xc |
| NOSPEC | 0 | cur->bc_ino.ip->i_disk_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_ino.ip->i_disk_size | (-9223372036854775807)-s64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | bp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fields | 4 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur->bc_mem.xfbtree | (-1),56 |
| BUF_SIZE | 0 | cur->bc_tp | (-1),1-s32max |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_ino.ip->i_disk_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_ino.ip->i_disk_size | (-9223372036854775807)-s64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 1-22518000284336124[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_btree.c xfs_btree_insrec() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp->b_maps | 4096-ptr_max |
| PARAM_VALUE | 2 | fields | 4 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree.c xfs_btree_lshift() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| PARAM_VALUE | 2 | fields | 4 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/libxfs/xfs_btree.c xfs_btree_lshift() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fields | 4 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree.c xfs_btree_new_root() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.afake->af_root | 0-4294967294 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_bno_level | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_bno_root | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_cnt_level | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_cnt_root | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_level | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_root | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_level | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_root | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_free_level | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_free_root | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_level | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_root | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0,2 |
| PARAM_VALUE | 0 | cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr->bb_magic | 0,1094857538-1094857539,1094865986-1094865987,1112359219,1112359248,1181904743,1379092035,1380794931,1480672844,1480673094,1480675917,1480864322,1480864324,1480868403,1480868915,1481854029 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_leftsib | (-1) |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_lsn | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_pad | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.l.bb_rightsib | (-1) |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_leftsib | 4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_lsn | 0 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_owner | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->bb_u.s.bb_rightsib | 4294967295 |
| PARAM_VALUE | 1 | bp->b_flags | 0-270532608 |
| PARAM_VALUE | 1 | bp->b_lockref.count | 1-s32max |
| PARAM_VALUE | 1 | bp->b_map_count | 0-s32max |
| PARAM_VALUE | 1 | bp->b_maps | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 2 | fields | 31 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_nlevels | 1 |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/libxfs/xfs_btree.c xfs_btree_promote_leaf_iroot() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 0-2 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 1079984446839365632,2174688114436640768,3735100726838427648,4895553875624292352,5672237732794068992,5932761532190343168,6934959590197788672,8480664611111198720 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 1 |
| PARAM_VALUE | 0 | cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_flags | 0-270532608 |
| PARAM_VALUE | 1 | bp->b_lockref.count | 1-s32max |
| PARAM_VALUE | 1 | bp->b_map_count | 0-s32max |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | fields | 31 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | bp | $2 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/libxfs/xfs_btree.c xfs_btree_promote_node_iroot() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 3-255 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 1 |
| PARAM_VALUE | 0 | cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_flags | 0-270532608 |
| PARAM_VALUE | 1 | bp->b_lockref.count | 1-s32max |
| PARAM_VALUE | 1 | bp->b_map_count | 0-s32max |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 1 | bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | fields | 31 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | bp | $3 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |
fs/xfs/libxfs/xfs_btree.c xfs_btree_rshift() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fields | 4 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree.c xfs_btree_rshift() -> xfs_btree_log_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| PARAM_VALUE | 2 | fields | 4 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count |