Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

287600322642ac2d update_vol() -> ubi_compare_lebs()

Type Parameter Key Value
PARAM_VALUE 1 aeb 4096-ptr_max
PARAM_VALUE 3 vid_hdr 4096-ptr_max
PARAM_VALUE 3 vid_hdr->vol_id 0-2147479551,2147479554-u32max
CAPPED_DATA 1 aeb->lnum 1
CAPPED_DATA 3 vid_hdr->lnum 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 3 vid_hdr $3
PARAM_COMPARE 1 aeb->lnum == $3->lnum
PARAM_COMPARE 1 aeb->pnum != $2
PARAM_COMPARE 2 pnum != $1->pnum

drivers/mtd/ubi/attach.c ubi_add_to_av() -> ubi_compare_lebs()

Type Parameter Key Value
PARAM_VALUE 0 ubi 4096-ptr_max
PARAM_VALUE 0 ubi->buf_mutex.dep_map->name 0-255
PARAM_VALUE 0 ubi->ckvol_mutex.dep_map->name 0-255
PARAM_VALUE 0 ubi->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->debugfs 0
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->defpool.vaddr 0
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 ubi->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.flags 4096-ptr_max
PARAM_VALUE 0 ubi->dev.kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.kobj.ktype->child_ns_type 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE 0 ubi->dev.kobj.ktype->get_ownership 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE 0 ubi->dev.kobj.ktype->namespace 0,4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ubi->device_mutex.dep_map->name 0-255
PARAM_VALUE 0 ubi->fm_eba_sem.dep_map->name 0-255
PARAM_VALUE 0 ubi->fm_protect.dep_map->name 0-255
PARAM_VALUE 0 ubi->mtd->parent 0
PARAM_VALUE 0 ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 aeb 4096-ptr_max
PARAM_VALUE 1 aeb->lnum 0-s32max
PARAM_VALUE 3 vid_hdr 4096-ptr_max
PARAM_VALUE 3 vid_hdr->compat 0-2,4-5
PARAM_VALUE 3 vid_hdr->data_pad 0-2147483646
PARAM_VALUE 3 vid_hdr->data_size 0-s32max
PARAM_VALUE 3 vid_hdr->lnum 0-s32max
PARAM_VALUE 3 vid_hdr->used_ebs 0-s32max
PARAM_VALUE 3 vid_hdr->vol_id 0-127,2147479551,2147479554-s32max
PARAM_VALUE 3 vid_hdr->vol_type 1-2
BUF_SIZE 0 ubi->dev.class (-1),96
BUF_SIZE 0 ubi->dev.groups (-1),16
BUF_SIZE 0 ubi->dev.parent (-1),1616
BUF_SIZE 0 ubi->mtd s32min,(-1),1-s32max
BUF_SIZE 0 ubi->peb_buf s32min-(-1),1-s32max
CAPPED_DATA 1 aeb->lnum 1
CAPPED_DATA 3 vid_hdr->vol_id 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 2 pnum $2
DATA_SOURCE 3 vid_hdr $4
STR_LEN 0 ubi->dev.parent->driver_data (-1)
STR_LEN 0 ubi->mtd (-1),18
STR_LEN 0 ubi->mtd->dev.driver_data (-1)
STR_LEN 0 ubi->mtd->name (-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ubi->ubi_num 0-31
USER_DATA 0 ubi->vid_hdr_aloffset 0-s32max[c]
USER_DATA 0 ubi->vid_hdr_offset 1-s32max
USER_DATA 0 *ubi->peb_buf 0-255
NO_OVERFLOW_SIMPLE 0 ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 ubi->mtd->erasesize
NO_OVERFLOW_SIMPLE 0 ubi->peb_count
NO_OVERFLOW_SIMPLE 0 ubi->peb_size
NO_OVERFLOW_SIMPLE 2 pnum
UNITS 3 vid_hdr unit_byte
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex