Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/xfs_log_recover.c xlog_do_recover() -> xfs_buf_ioerror_alert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_addr->hdr.count | 0-u16max |
| PARAM_VALUE | 0 | bp->b_addr->hdr.holes | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->hdr.info.back | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->hdr.info.forw | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->hdr.info.magic | 0-15341,15343-u16max |
| PARAM_VALUE | 0 | bp->b_addr->hdr.usedbytes | 0-u16max |
| PARAM_VALUE | 0 | bp->b_addr->sb_agblklog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_agblocks | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_agcount | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_bad_features2 | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_blocklog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_blocksize | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_dirblklog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_features2 | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_features_compat | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_features_incompat | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_features_log_incompat | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_features_ro_compat | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_flags | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_imax_pct | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_inoalignmt | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_inodelog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_inodesize | 0-u16max |
| PARAM_VALUE | 0 | bp->b_addr->sb_inopblock | 0-u16max |
| PARAM_VALUE | 0 | bp->b_addr->sb_inopblog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_inprogress | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_logblocks | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_logsectlog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_logsectsize | 0-u16max |
| PARAM_VALUE | 0 | bp->b_addr->sb_logsunit | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_qflags | 0-u16max |
| PARAM_VALUE | 0 | bp->b_addr->sb_rbmblocks | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_rextsize | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_rextslog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_sectlog | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_sectsize | 0-u16max |
| PARAM_VALUE | 0 | bp->b_addr->sb_shared_vn | 0-255 |
| PARAM_VALUE | 0 | bp->b_addr->sb_spino_align | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_unit | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_addr->sb_width | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_iowait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->b_iowait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_iowait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_buf->b_lru.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_buf->b_lru.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_buf->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_formats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_iter.bi_bvec_done | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_lsn | 0 |
| PARAM_VALUE | 0 | bp->b_lru.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_lru.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_maps | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_mount->m_log | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | bp->b_target->bt_readahead_count.lock.owner | (-1) |
| PARAM_VALUE | 0 | bp->b_target->bt_readahead_count.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | bp->b_target->bt_readahead_count.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | *bp->b_addr->sb_pad | 0-255 |
| CAPPED_DATA | 0 | bp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &bp->b_sema | |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| TYPE_LOCK | (struct xfs_buf)->b_sema |
fs/xfs/xfs_buf.c xfs_buf_ioerror_alert_ratelimited() -> xfs_buf_ioerror_alert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_error | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | bp->b_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_mount->m_filestream->grp_time | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_mount->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_mount->m_log | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_mount->m_quotainfo->qi_dqperchunk | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->up | 0-1 |
| BUF_SIZE | 0 | bp->b_ops | (-1)-0,40 |
| DATA_SOURCE | 0 | bp | $0 |
| BIT_INFO | 0 | bp->b_flags | 0x0,0xfffffffe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | bp->b_log_item->bli_format_count | |
| NO_OVERFLOW_SIMPLE | 0 | bp->b_log_item->bli_formats | |
| NO_OVERFLOW_SIMPLE | 0 | bp->b_log_item->bli_item.li_lv_shadow | |
| NO_OVERFLOW_SIMPLE | 0 | bp->b_map_count | |
| HALF_LOCKED2 | 0 | &bp->b_sema |
fs/xfs/xfs_buf.c xfs_buf_read_map() -> xfs_buf_ioerror_alert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_iowait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->b_iowait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_iowait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_buf->b_lru.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_buf->b_lru.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_buf->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_formats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.__bi_cnt.counter | s32min-s32max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.__bi_nr_segments | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_bvec_gap_bit | 0-255 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_cookie | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_flags | 0-u16max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_ioprio | 0-u16max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_iter.bi_bvec_done | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_iter.bi_idx | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_iter.bi_size | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_max_vecs | 0-u16max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_opf | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_status | 0-255 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_vcnt | 0-u16max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_write_hint | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_bio.bi_write_stream | 0-255 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_fail_crc | 0-1 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_flags | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_offset | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_refcnt.counter | s32min-s32max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_sema.count | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_sema.lock.magic | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_sema.lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_sema.lock.raw_lock.locked | 0-255 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_sema.lock.raw_lock.tail | 0-u16max |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_size | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_ailp->ail_log->l_iclog->ic_state | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_log_item->bli_item.li_lsn | 0 |
| PARAM_VALUE | 0 | bp->b_lru.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_lru.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_maps | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_mount->m_log | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | bp->b_target->bt_ioerror_rl.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->b_target->bt_ioerror_rl.lock.owner | (-1) |
| PARAM_VALUE | 0 | bp->b_target->bt_ioerror_rl.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | bp->b_target->bt_readahead_count.lock.owner | (-1) |
| PARAM_VALUE | 0 | bp->b_target->bt_readahead_count.lock.owner_cpu | u32max |
| CAPPED_DATA | 0 | bp | 1 |
| DATA_SOURCE | 1 | func | $6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | bp->b_map_count | |
| LOCK2 | 0 | &bp->b_sema | |
| TYPE_LOCK | (struct xfs_buf)->b_sema |