Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_buf.c xfs_buf_rele() -> xfs_buf_destroy()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lockref.count (-128)
PARAM_VALUE 0 bp->b_lockref.lock.rlock.dep_map->name 0-255
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
PARAM_VALUE 0 bp->b_target 4096-ptr_max
PARAM_VALUE 0 bp->b_target->bt_hash.tbl->dep_map->name 0-255
BUF_SIZE 0 bp->b_ops (-1)-0,40
CAPPED_DATA 0 bp 1
CAPPED_DATA 0 &bp->b_lru 1
DATA_SOURCE 0 bp $0
PREEMPT_ADD <- disables preempt
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_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
NO_OVERFLOW_SIMPLE 0 bp->b_transp->t_rtx_res_used
HALF_LOCKED2 &ailp->ail_lock
HALF_LOCKED2 &dqp->q_qlock
HALF_LOCKED2 &mp->m_growlock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/xfs_buf.c xfs_buftarg_drain() -> xfs_buf_destroy()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru.next->prev 4096-ptr_max
PARAM_VALUE 0 bp->b_lru.prev->next 4096-ptr_max
RX_PATH
NOCHECK_CALL

fs/xfs/xfs_buf.c xfs_buftarg_shrink_scan() -> xfs_buf_destroy()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru.next->prev 4096-ptr_max
PARAM_VALUE 0 bp->b_lru.prev->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &bch_register_lock