Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nilfs2/bmap.c nilfs_bmap_do_delete() -> nilfs_direct_delete_and_convert()

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_ops->bop_assign 791789435776786432,4732101867544551424,4788106980719075328
PARAM_VALUE 0 bmap->b_ops->bop_check_delete 4808421001589497856
PARAM_VALUE 0 bmap->b_ops->bop_check_insert 0,8182361455286562816
PARAM_VALUE 0 bmap->b_ops->bop_clear 0
PARAM_VALUE 0 bmap->b_ops->bop_delete 0,4574408115434098688,9075530915980382208
PARAM_VALUE 0 bmap->b_ops->bop_gather_data 0,1115325138324008960,4622402160704188416
PARAM_VALUE 0 bmap->b_ops->bop_insert 0,1991865134375956480,8573000960434597888
PARAM_VALUE 0 bmap->b_ops->bop_last_key 0,4096-ptr_max
PARAM_VALUE 0 bmap->b_ops->bop_lookup 0,6375107677254025216,9031427338390204416
PARAM_VALUE 0 bmap->b_ops->bop_lookup_contig 0,1593219384897691648,1892578043826368512
PARAM_VALUE 0 bmap->b_ops->bop_lookup_dirty_buffers 0,4013520371987763200
PARAM_VALUE 0 bmap->b_ops->bop_mark 0,3877101679213461504
PARAM_VALUE 0 bmap->b_ops->bop_propagate 2041737880490721280,3216141150996443136,4230641165560369152
PARAM_VALUE 0 bmap->b_ops->bop_seek_key 0,4681050067922006016,7581793648701485056
PARAM_VALUE 0 bmap->b_sem.dep_map->name 0-255
PARAM_VALUE 0 bmap->b_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 bmap->b_sem.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 bmap->b_sem.first_waiter->list.prev 2212933610777083904,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 2 keys 221413903170899968
PARAM_VALUE 3 ptrs 8623853096181358592
PARAM_VALUE 4 n 0-s32max
BUF_SIZE 2 keys 32
BUF_SIZE 3 ptrs 32
CAPPED_DATA 1 key 1
CAPPED_DATA 1 key 1
CAPPED_DATA 4 n 1
DATA_SOURCE 0 bmap $0
DATA_SOURCE 1 key $1
NOSPEC 1 key
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 key 0-6442450941[c]
LOCK2 0 &bmap->b_sem
TYPE_LOCK (struct nilfs_bmap)->b_sem