Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nilfs2/bmap.c nilfs_bmap_propagate() -> (struct nilfs_bmap_operations)->bop_propagate()

Type Parameter Key Value
PARAM_VALUE 0 bmap 4096-ptr_max
PARAM_VALUE 0 bmap->b_ops 4096-ptr_max
PARAM_VALUE 0 bmap->b_sem.dep_map->name 0-255
PARAM_VALUE 0 bmap->b_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 bmap->b_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 bmap->b_sem.first_waiter->type 0-1
PARAM_VALUE 0 bmap->b_sem.osq.tail.counter 0-s32max
PARAM_VALUE 0 bmap->b_sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 bmap->b_sem.wait_lock.owner (-1)
PARAM_VALUE 0 bmap->b_sem.wait_lock.owner_cpu u32max
PARAM_VALUE 1 bh 4096-ptr_max
PARAM_VALUE 1 bh->b_assoc_buffers.next 4096-ptr_max
PARAM_VALUE 1 bh->b_assoc_buffers.next->next 4096-ptr_max
PARAM_VALUE 1 bh->b_assoc_buffers.prev 4096-ptr_max
PARAM_VALUE 1 bh->b_assoc_buffers.prev->next 4096-ptr_max
PARAM_VALUE 1 bh->b_assoc_buffers.prev->prev 4096-ptr_max
CAPPED_DATA 0 &bmap->b_sem 1
DATA_SOURCE 0 bmap $0
DATA_SOURCE 1 bh $1
CONTAINER 0 -40-224+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &bmap->b_sem
TYPE_LOCK (struct nilfs_bmap)->b_sem