Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

fs/xfs/xfs_trans_buf.c __xfs_trans_getsb() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
DATA_SOURCE 0 bp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_transp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 bp->b_transp->t_rtx_res_used

fs/xfs/xfs_log_recover.c xlog_do_recover() -> xfs_buf_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/xfs/xfs_rtalloc.c xfs_rtmount_freesb() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 bp 1-u64max
NOCHECK_CALL
LOCK2 &bp->b_sema

fs/xfs/xfs_log.c xfs_log_quiesce() -> xfs_buf_lock()

Type Parameter Key Value
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_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount

fs/xfs/libxfs/xfs_defer.c xfs_defer_ops_continue() -> xfs_buf_lock()

Type Parameter Key Value
NOCHECK_CALL

fs/xfs/xfs_buf_item.c xfs_buf_item_unpin() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_buf.c xfs_buf_delwri_cancel() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mp->m_growlock

fs/xfs/xfs_buf.c xfs_buf_delwri_queue_here() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 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 1
PARAM_VALUE 0 bp->b_sema.last_holder 0
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->b_list 1
DATA_SOURCE 0 bp $0
PARAM_COMPARE 0 &bp->b_list != $0->b_list.next
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/xfs_buf.c xfs_buf_delwri_submit() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 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
CAPPED_DATA 0 &bp->b_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &*bpp->b_sema
HALF_LOCKED2 &mp->m_growlock
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/xfs_buf.c xfs_buf_find_lock() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 0,4096-ptr_max
PARAM_VALUE 0 bp->b_lockref.count 1-s32max
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_buf.c xfs_buf_get_uncached() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_iowait.wait.lock.magic 3735899821
PARAM_VALUE 0 bp->b_iowait.wait.lock.owner (-1)
PARAM_VALUE 0 bp->b_iowait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 bp->b_lockref.count 1
PARAM_VALUE 0 bp->b_lru_ref.counter 1
PARAM_VALUE 0 bp->b_pin_count.counter 0
PARAM_VALUE 0 bp->b_target 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mp->m_growlock

fs/xfs/xfs_dquot.c xfs_dquot_detach_buf() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dqp->q_lockref.lock
HALF_LOCKED2 &dqp->q_qlock
HALF_LOCKED2 &qi->qi_tree_lock

fs/xfs/xfs_inode_item.c xfs_iflush_shutdown_abort() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_mount.c xfs_add_incompat_log_feature() -> xfs_buf_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_mount.c xfs_clear_incompat_log_features() -> xfs_buf_lock()

Type Parameter Key Value
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_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/xfs_mount.c xfs_freesb() -> xfs_buf_lock()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_rcu.func 1-u64max
PARAM_VALUE 0 bp->b_rcu.next 0
PARAM_VALUE 0 bp->b_sema.last_holder 0
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &cifs_mount_mutex