Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/mtdswap.c mtdswap_gc() -> mtdswap_write_marker()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->curr_write->pad 0
PARAM_VALUE 0 d->max_erase_count 1-u32max
PARAM_VALUE 0 d->mtd 4096-ptr_max
PARAM_VALUE 1 eb 4096-ptr_max
PARAM_VALUE 1 eb->rb.rb_left 0,4096-ptr_max
PARAM_VALUE 1 eb->rb.rb_right 0,4096-ptr_max
PARAM_VALUE 1 eb->root 0
PARAM_VALUE 2 marker 0
BUF_SIZE 0 d 264,944
BUF_SIZE 0 d 264,944
CAPPED_DATA 0 d->pages_per_eblk 1
DATA_SOURCE 0 d $0
DATA_SOURCE 1 eb r mtdswap_pick_gc_eblk
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mtd_blktrans_dev)->lock

drivers/mtd/mtdswap.c mtdswap_map_free_block() -> mtdswap_write_marker()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->trees 4096-ptr_max
PARAM_VALUE 1 eb 4096-ptr_max
PARAM_VALUE 1 eb->root 0
PARAM_VALUE 2 marker 1
BUF_SIZE 0 d 264,944
BUF_SIZE 0 d 264,944
CAPPED_DATA 1 &eb->rb 1
DATA_SOURCE 0 d $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mtd_blktrans_dev)->lock