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_read()

Type Parameter Key Value
PARAM_VALUE 0 bp 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
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
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &bp->b_sema
HALF_LOCKED2 &fc->uapi_mutex
TYPE_LOCK (struct xfs_buf)->b_sema

fs/xfs/xfs_buf.c xfs_buf_read_map() -> _xfs_buf_read()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0,2097152
PARAM_VALUE 0 bp->b_lockref.count 1-s32max
PARAM_VALUE 0 bp->b_ops 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_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
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
BIT_INFO 0 bp->b_flags 0x0,0x3fffdf
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
LOCK2 0 &bp->b_sema
TYPE_LOCK (struct xfs_buf)->b_sema