Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/xfs/scrub/attr_repair.c xrep_xattr_recover_block() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0-4294967295
PARAM_VALUE 0 bp->b_lockref.count s32min-s32max
PARAM_VALUE 0 bp->b_ops 0
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.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 bp->b_sema.lock.raw_lock.val.counter s32min-s32max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema

fs/xfs/xfs_trans_buf.c xfs_trans_binval() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_log_item 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->up 0-1
BUF_SIZE 0 bp->b_ops (-1),40
CAPPED_DATA 0 bp 1
DATA_SOURCE 0 bp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_trans_buf.c xfs_trans_get_buf_map() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_maps 4096-ptr_max
CAPPED_DATA 0 bp->b_length 1
CAPPED_DATA 0 bp->b_target 1
DATA_SOURCE 0 bp r xfs_trans_buf_item_match
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dq->q_qlock
HALF_LOCKED2 &mp->m_growlock
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_buf_item_recover.c xlog_recover_buf_commit_pass2() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_maps 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.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 bp->b_sema.lock.raw_lock.val.counter 0-s32max
CAPPED_DATA 0 bp 1
NOCHECK_CALL
LOCK2 &bp->b_sema

fs/xfs/libxfs/xfs_attr_remote.c xfs_attr_rmtval_stale() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_error 0
PARAM_VALUE 0 bp->b_flags 0,2097152
PARAM_VALUE 0 bp->b_lockref.count 1-s32max
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 4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &*bpp->b_sema

fs/xfs/scrub/reap.c xreap_bmapi_binval() -> xfs_buf_stale()

Type Parameter Key Value
BUF_SIZE 0 bp 0
DATA_SOURCE 0 bp r xrep_bufscan_advance
BIT_INFO 0 bp 0x0,0x0
NOCHECK_CALL
HALF_LOCKED2 &*bpp->b_sema

fs/xfs/xfs_inode.c xfs_inactive_dir() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_error 0
PARAM_VALUE 0 bp->b_flags 0,2097152
PARAM_VALUE 0 bp->b_lockref.count 1-s32max
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 4294967295
NOCHECK_CALL
LOCK2 &*bpp->b_sema
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_buf.c __xfs_buf_mark_corrupt() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_maps 4096-ptr_max
PARAM_VALUE 0 bp->b_mount->m_super 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_buf.c xfs_buf_fail() -> xfs_buf_stale()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0,16-u32max
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
CAPPED_DATA 0 bp 1
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bp->b_sema
HALF_LOCKED2 &ailp->ail_lock
TYPE_LOCK (struct xfs_buf)->b_sema

fs/xfs/xfs_buf.c xfs_buf_ioend_handle_error() -> xfs_buf_stale()

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_log 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->up 0-1
BUF_SIZE 0 bp->b_ops (-1)-0,40
CAPPED_DATA 0 bp->b_error 1
DATA_SOURCE 0 bp $0
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_stale()

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_readahead_count.lock.owner (-1)
PARAM_VALUE 0 bp->b_target->bt_readahead_count.lock.owner_cpu u32max
CAPPED_DATA 0 bp 1
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

fs/xfs/xfs_buf.c xfs_buf_submit() -> xfs_buf_stale()

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_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->up 0-1
BUF_SIZE 0 bp->b_ops (-1)-0,40
CAPPED_DATA 0 bp 1
DATA_SOURCE 0 bp $0
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 &*bpp->b_sema
HALF_LOCKED2 0 &bp->b_sema