Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_log_recover.c xlog_recover_items_pass2() -> (struct xlog_recover_item_ops)->commit_pass2()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->l_ailp 4096-ptr_max
PARAM_VALUE 0 log->l_ailp->ail_buf_list.next 0
PARAM_VALUE 0 log->l_ailp->ail_buf_list.prev 0
PARAM_VALUE 0 log->l_ailp->ail_cursors.next 0
PARAM_VALUE 0 log->l_ailp->ail_cursors.prev 0
PARAM_VALUE 0 log->l_ailp->ail_empty.head.next 0
PARAM_VALUE 0 log->l_ailp->ail_empty.head.prev 0
PARAM_VALUE 0 log->l_ailp->ail_head.next 0
PARAM_VALUE 0 log->l_ailp->ail_head.prev 0
PARAM_VALUE 0 log->l_ailp->ail_last_pushed_lsn 0
PARAM_VALUE 0 log->l_ailp->ail_log 0
PARAM_VALUE 0 log->l_ailp->ail_log_flush 0
PARAM_VALUE 0 log->l_ailp->ail_opstate 0
PARAM_VALUE 0 log->l_ailp->ail_target 0
PARAM_VALUE 0 log->l_ailp->ail_task 0
PARAM_VALUE 0 log->l_buf_cancel_table 0,4096-ptr_max
PARAM_VALUE 0 log->l_cilp 4096-ptr_max
PARAM_VALUE 0 log->l_cilp->xc_commit_wait.head.next 0
PARAM_VALUE 0 log->l_cilp->xc_commit_wait.head.prev 0
PARAM_VALUE 0 log->l_cilp->xc_committing.next 0
PARAM_VALUE 0 log->l_cilp->xc_committing.prev 0
PARAM_VALUE 0 log->l_cilp->xc_ctx 0
PARAM_VALUE 0 log->l_cilp->xc_ctx_lock.count.counter 0
PARAM_VALUE 0 log->l_cilp->xc_ctx_lock.first_waiter 0
PARAM_VALUE 0 log->l_cilp->xc_ctx_lock.magic 0
PARAM_VALUE 0 log->l_cilp->xc_ctx_lock.owner.counter 0
PARAM_VALUE 0 log->l_cilp->xc_current_sequence 0
PARAM_VALUE 0 log->l_cilp->xc_flags 0
PARAM_VALUE 0 log->l_cilp->xc_iclog_hdrs.counter 0
PARAM_VALUE 0 log->l_cilp->xc_log 0
PARAM_VALUE 0 log->l_cilp->xc_pcp 0
PARAM_VALUE 0 log->l_cilp->xc_push_commit_stable 0
PARAM_VALUE 0 log->l_cilp->xc_push_seq 0
PARAM_VALUE 0 log->l_cilp->xc_push_wait.head.next 0
PARAM_VALUE 0 log->l_cilp->xc_push_wait.head.prev 0
PARAM_VALUE 0 log->l_cilp->xc_push_wq 0
PARAM_VALUE 0 log->l_cilp->xc_start_wait.head.next 0
PARAM_VALUE 0 log->l_cilp->xc_start_wait.head.prev 0
PARAM_VALUE 0 log->l_covered_state 0
PARAM_VALUE 0 log->l_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 0 log->l_flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 log->l_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 log->l_flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 log->l_flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 log->l_flush_wait.lock.dep_map.cpu 0
PARAM_VALUE 0 log->l_flush_wait.lock.dep_map.ip 0
PARAM_VALUE 0 log->l_flush_wait.lock.dep_map.key 0
PARAM_VALUE 0 log->l_flush_wait.lock.dep_map.name 0
PARAM_VALUE 0 log->l_flush_wait.lock.rlock.dep_map.ip 0
PARAM_VALUE 0 log->l_flush_wait.lock.rlock.magic 0
PARAM_VALUE 0 log->l_flush_wait.lock.rlock.owner 0
PARAM_VALUE 0 log->l_flush_wait.lock.rlock.owner_cpu 0
PARAM_VALUE 0 log->l_iclog->ic_state 0-5
PARAM_VALUE 0 log->l_iclog.ic_state 0-5
PARAM_VALUE 0 log->l_iclog_bufs 1-s32max
PARAM_VALUE 0 log->l_iclog_roundoff 1-u32max
PARAM_VALUE 0 log->l_iclog_size 1-s32max
PARAM_VALUE 0 log->l_ioend_workqueue 4096-ptr_max
PARAM_VALUE 0 log->l_kobj.complete.done 0
PARAM_VALUE 0 log->l_kobj.complete.wait.lock.magic 0
PARAM_VALUE 0 log->l_kobj.complete.wait.lock.owner 0
PARAM_VALUE 0 log->l_kobj.kobject.entry.next 0
PARAM_VALUE 0 log->l_kobj.kobject.entry.prev 0
PARAM_VALUE 0 log->l_kobj.kobject.kset 0
PARAM_VALUE 0 log->l_kobj.kobject.ktype 0
PARAM_VALUE 0 log->l_kobj.kobject.name 0
PARAM_VALUE 0 log->l_kobj.kobject.parent 0
PARAM_VALUE 0 log->l_kobj.kobject.release.cpu 0
PARAM_VALUE 0 log->l_kobj.kobject.release.timer.flags 0
PARAM_VALUE 0 log->l_kobj.kobject.release.work.func 0
PARAM_VALUE 0 log->l_kobj.kobject.release.wq 0
PARAM_VALUE 0 log->l_kobj.kobject.sd 0
PARAM_VALUE 0 log->l_kobj.kobject.state_in_sysfs 0
PARAM_VALUE 0 log->l_kobj.kobject.state_initialized 0
PARAM_VALUE 0 log->l_kobj.kobject.uevent_suppress 0
PARAM_VALUE 0 log->l_logBBsize 1-s32max
PARAM_VALUE 0 log->l_logsize s32min-(-512),0,512-s32max
PARAM_VALUE 0 log->l_mp 4096-ptr_max
PARAM_VALUE 0 log->l_mp->m_super 0,4096-ptr_max
PARAM_VALUE 0 log->l_prev_block (-1)-2147483646
PARAM_VALUE 0 log->l_prev_cycle 0
PARAM_VALUE 0 log->l_reserve_head.grant.counter 0
PARAM_VALUE 0 log->l_tail_space 0
PARAM_VALUE 0 log->l_work.cpu 0
PARAM_VALUE 0 log->l_work.timer.entry.next 0
PARAM_VALUE 0 log->l_work.timer.entry.pprev 0
PARAM_VALUE 0 log->l_work.timer.expires 0
PARAM_VALUE 0 log->l_work.timer.flags 0
PARAM_VALUE 0 log->l_work.timer.function 0
PARAM_VALUE 0 log->l_work.timer.lockdep_map.cpu 0
PARAM_VALUE 0 log->l_work.timer.lockdep_map.ip 0
PARAM_VALUE 0 log->l_work.timer.lockdep_map.key 0
PARAM_VALUE 0 log->l_work.timer.lockdep_map.lock_type 0
PARAM_VALUE 0 log->l_work.timer.lockdep_map.name 0
PARAM_VALUE 0 log->l_work.work.data.counter 0
PARAM_VALUE 0 log->l_work.work.entry.next 0
PARAM_VALUE 0 log->l_work.work.entry.prev 0
PARAM_VALUE 0 log->l_work.work.func 0
PARAM_VALUE 0 log->l_work.work.lockdep_map.cpu 0
PARAM_VALUE 0 log->l_work.work.lockdep_map.ip 0
PARAM_VALUE 0 log->l_work.work.lockdep_map.key 0
PARAM_VALUE 0 log->l_work.work.lockdep_map.lock_type 0
PARAM_VALUE 0 log->l_work.work.lockdep_map.name 0
PARAM_VALUE 0 log->l_work.wq 0
PARAM_VALUE 0 log->l_write_head.grant.counter 0
PARAM_VALUE 0 log->r_dfops.next 4096-ptr_max
PARAM_VALUE 0 log->r_dfops.next->next 4096-ptr_max
PARAM_VALUE 0 log->r_dfops.next->prev 0
PARAM_VALUE 0 log->r_dfops.prev 4096-ptr_max
PARAM_VALUE 0 log->r_dfops.prev->next 4096-ptr_max
PARAM_VALUE 0 log->r_dfops.prev->prev 4096-ptr_max
PARAM_VALUE 1 buffer_list 4097936156751990784
PARAM_VALUE 1 buffer_list->prev 4096-ptr_max
PARAM_VALUE 2 item 4096-ptr_max
PARAM_VALUE 2 item->ri_ops 4096-ptr_max
PARAM_VALUE 2 item->ri_ops->commit_pass2 4096-ptr_max
BUF_SIZE 1 buffer_list->next (-1),16
BUF_SIZE 1 buffer_list->prev (-1),16
CAPPED_DATA 0 log->l_iclog_bufs 1
CAPPED_DATA 0 log->l_iclog_size 1
CAPPED_DATA 0 log->l_logBBsize 1
CAPPED_DATA 0 log->l_sectBBsize 1
DATA_SOURCE 0 log $0
DATA_SOURCE 1 buffer_list $2
CONTAINER 2 -32-32+0 $(-1)
POWER_OF_TWO 0 *log