Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/ubi/attach.c scan_peb() -> check_corruption()

Type Parameter Key Value
PARAM_VALUE 0 dummy 4096-ptr_max
PARAM_VALUE 0 dummy->buf_mutex.dep_map->name 0-255
PARAM_VALUE 0 dummy->ckvol_mutex.dep_map->name 0-255
PARAM_VALUE 0 dummy->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->dev.dma_io_tlb_mem->defpool.vaddr 0
PARAM_VALUE 0 dummy->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 dummy->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 dummy->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 dummy->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 dummy->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->dev.flags 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dummy->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dummy->device_mutex.dep_map->name 0-255
PARAM_VALUE 0 dummy->fm_eba_sem.dep_map->name 0-255
PARAM_VALUE 0 dummy->fm_protect.dep_map->name 0-255
PARAM_VALUE 0 dummy->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dummy->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 vid_hdr 4096-ptr_max
PARAM_VALUE 2 pnum 0-2147483646
BUF_SIZE 0 dummy->dev.class (-1),96
BUF_SIZE 0 dummy->dev.groups (-1),16
BUF_SIZE 0 dummy->dev.parent (-1),1616
BUF_SIZE 0 dummy->mtd s32min,(-1),1-s32max
BUF_SIZE 0 dummy->peb_buf s32min-(-1),1-s32max
CAPPED_DATA 0 dummy->leb_start 1
CAPPED_DATA 0 dummy->vid_hdr_offset 1
CAPPED_DATA 2 pnum 1
DATA_SOURCE 0 dummy $0
DATA_SOURCE 2 pnum $2
FUZZY_MAX 2 pnum 63
STR_LEN 0 dummy->dev.parent->driver_data (-1)
STR_LEN 0 dummy->mtd (-1),18
STR_LEN 0 dummy->mtd->dev.driver_data (-1)
STR_LEN 0 dummy->mtd->name (-1)
NOSPEC 0 dummy->vid_hdr_offset
MEM_ZERO 0 &dummy->dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dummy->ubi_num 0-31
USER_DATA 0 dummy->vid_hdr_aloffset 0-s32max[c]
USER_DATA 0 dummy->vid_hdr_offset 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 dummy->mtd->erasesize
NO_OVERFLOW_SIMPLE 0 dummy->peb_count
NO_OVERFLOW_SIMPLE 0 dummy->peb_size
NO_OVERFLOW_SIMPLE 2 pnum
UNITS 1 vid_hdr unit_byte
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

kernel/workqueue.c process_one_work() -> (struct worker)->current_func()

Type Parameter Key Value
PARAM_VALUE 0 dummy 4096-ptr_max
PARAM_VALUE 0 dummy->entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dummy->entry.prev->next 4096-ptr_max
CAPPED_DATA 0 dummy 1
DATA_SOURCE 0 dummy $1
CONTAINER 0 -24+0 $(-1)
NOCHECK_CALL
LOCK2 &pool->lock