Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/ubi/attach.c scan_fast() -> ubi_scan_fastmap()

Type Parameter Key Value
PARAM_VALUE 0 ubi 4096-ptr_max
PARAM_VALUE 0 ubi->autoresize_vol_id (-1)
PARAM_VALUE 0 ubi->bad_allowed 1
PARAM_VALUE 0 ubi->buf_mutex.dep_map->name 0-255
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 ubi->buf_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ubi->ckvol_mutex.dep_map->name 0-255
PARAM_VALUE 0 ubi->ckvol_mutex.first_waiter 0
PARAM_VALUE 0 ubi->ckvol_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ubi->ckvol_mutex.osq.tail.counter 0
PARAM_VALUE 0 ubi->ckvol_mutex.owner.counter 0
PARAM_VALUE 0 ubi->dev.class 2254474035406569472
PARAM_VALUE 0 ubi->dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.devres_head.prev 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 1473117533515866112
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->pools.prev 1473117533515866320
PARAM_VALUE 0 ubi->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_pools.prev 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 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_pools.prev 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.dma_uses_io_tlb 0
PARAM_VALUE 0 ubi->dev.flags 4096-ptr_max
PARAM_VALUE 0 ubi->dev.groups 7815334371045072896
PARAM_VALUE 0 ubi->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 ubi->dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 ubi->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 ubi->dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 ubi->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 ubi->dev.kobj.state_initialized 1
PARAM_VALUE 0 ubi->dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 ubi->dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.consumers.prev 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 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 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.status 0
PARAM_VALUE 0 ubi->dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.links.suppliers.prev 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.numa_node (-1)
PARAM_VALUE 0 ubi->dev.parent 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.child_count.counter 0
PARAM_VALUE 0 ubi->dev.power.deferred_resume 0
PARAM_VALUE 0 ubi->dev.power.disable_depth 1
PARAM_VALUE 0 ubi->dev.power.early_init 1
PARAM_VALUE 0 ubi->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 ubi->dev.power.entry.prev 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.idle_notification 0
PARAM_VALUE 0 ubi->dev.power.ignore_children 0
PARAM_VALUE 0 ubi->dev.power.is_late_suspended 0
PARAM_VALUE 0 ubi->dev.power.is_noirq_suspended 0
PARAM_VALUE 0 ubi->dev.power.is_prepared 0
PARAM_VALUE 0 ubi->dev.power.is_suspended 0
PARAM_VALUE 0 ubi->dev.power.last_status (-1)
PARAM_VALUE 0 ubi->dev.power.needs_force_resume 0
PARAM_VALUE 0 ubi->dev.power.qos 0
PARAM_VALUE 0 ubi->dev.power.request 0
PARAM_VALUE 0 ubi->dev.power.request_pending 0
PARAM_VALUE 0 ubi->dev.power.runtime_auto 1
PARAM_VALUE 0 ubi->dev.power.runtime_error 0
PARAM_VALUE 0 ubi->dev.power.runtime_status 2
PARAM_VALUE 0 ubi->dev.power.timer_expires 0
PARAM_VALUE 0 ubi->dev.power.usage_count.counter 0
PARAM_VALUE 0 ubi->dev.power.wait_queue.head.next 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 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->dev.release 3697143440114700288
PARAM_VALUE 0 ubi->device_mutex.dep_map->name 0-255
PARAM_VALUE 0 ubi->device_mutex.first_waiter 0
PARAM_VALUE 0 ubi->device_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ubi->device_mutex.osq.tail.counter 0
PARAM_VALUE 0 ubi->device_mutex.owner.counter 0
PARAM_VALUE 0 ubi->ec_hdr_alsize 0-4000000
PARAM_VALUE 0 ubi->fm_buf 1-u64max
PARAM_VALUE 0 ubi->fm_disabled 0-1
PARAM_VALUE 0 ubi->fm_eba_sem.count.counter 0
PARAM_VALUE 0 ubi->fm_eba_sem.dep_map->name 0-255
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter 0
PARAM_VALUE 0 ubi->fm_eba_sem.magic 4096-ptr_max
PARAM_VALUE 0 ubi->fm_eba_sem.osq.tail.counter 0
PARAM_VALUE 0 ubi->fm_eba_sem.owner.counter 0
PARAM_VALUE 0 ubi->fm_pool.max_size 8-256
PARAM_VALUE 0 ubi->fm_pool.size 0
PARAM_VALUE 0 ubi->fm_pool.used 0
PARAM_VALUE 0 ubi->fm_pool_rsv_cnt 0,8-256
PARAM_VALUE 0 ubi->fm_protect.count.counter 0
PARAM_VALUE 0 ubi->fm_protect.dep_map->name 0-255
PARAM_VALUE 0 ubi->fm_protect.first_waiter 0
PARAM_VALUE 0 ubi->fm_protect.magic 4096-ptr_max
PARAM_VALUE 0 ubi->fm_protect.osq.tail.counter 0
PARAM_VALUE 0 ubi->fm_protect.owner.counter 0
PARAM_VALUE 0 ubi->fm_wl_pool.max_size 4-128
PARAM_VALUE 0 ubi->fm_wl_pool.size 0
PARAM_VALUE 0 ubi->fm_wl_pool.used 0
PARAM_VALUE 0 ubi->leb_start 128-s32max
PARAM_VALUE 0 ubi->max_erroneous 16-s32max
PARAM_VALUE 0 ubi->mtd 4096-ptr_max
PARAM_VALUE 0 ubi->nor_flash 1
PARAM_VALUE 0 ubi->peb_buf 1-u64max
PARAM_VALUE 0 ubi->peb_size s32min-(-1),1-s32max
PARAM_VALUE 0 ubi->ro_mode 1
PARAM_VALUE 0 ubi->ubi_num s32min-(-2),0-31
PARAM_VALUE 0 ubi->vid_hdr_alsize 64-4000000
PARAM_VALUE 0 ubi->vid_hdr_offset s32min-(-1),1-s32max
PARAM_VALUE 1 ai 4096-ptr_max
PARAM_VALUE 2 scan_ai 4096-ptr_max
PARAM_VALUE 2 scan_ai->aeb_slab_cache 1-u64max
PARAM_VALUE 2 scan_ai->alien.next 4096-ptr_max
PARAM_VALUE 2 scan_ai->alien.next->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->alien.prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->alien.prev->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->alien.prev->prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->corr.next 4096-ptr_max
PARAM_VALUE 2 scan_ai->corr.next->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->corr.prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->corr.prev->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->corr.prev->prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->ech 16,4096-ptr_max
PARAM_VALUE 2 scan_ai->erase.next 4096-ptr_max
PARAM_VALUE 2 scan_ai->erase.next->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->erase.prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->erase.prev->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->erase.prev->prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->fastmap.next 4096-ptr_max
PARAM_VALUE 2 scan_ai->fastmap.next->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->fastmap.prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->fastmap.prev->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->fastmap.prev->prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->force_full_scan 0
PARAM_VALUE 2 scan_ai->free.next 4096-ptr_max
PARAM_VALUE 2 scan_ai->free.next->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->free.prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->free.prev->next 4096-ptr_max
PARAM_VALUE 2 scan_ai->free.prev->prev 4096-ptr_max
PARAM_VALUE 2 scan_ai->vidb 4096-ptr_max
BUF_SIZE 0 ubi 7232
BUF_SIZE 0 ubi 7232
BUF_SIZE 0 ubi->dev.class 96
BUF_SIZE 0 ubi->dev.groups 16
BUF_SIZE 0 ubi->dev.parent 1616
BUF_SIZE 0 ubi->mtd s32min,(-1),1-s32max
BUF_SIZE 0 ubi->peb_buf s32min-(-1),1-s32max
BUF_SIZE 2 scan_ai 192
BUF_SIZE 2 scan_ai->ech 0-s32max,18446744071562067968-u64max
BUF_SIZE 2 scan_ai->vidb 16
CAPPED_DATA 0 ubi->fm_pool.max_size 1
CAPPED_DATA 0 ubi->fm_pool_rsv_cnt 1
CAPPED_DATA 0 ubi->fm_wl_pool.max_size 1
CAPPED_DATA 0 ubi->leb_start 1
CAPPED_DATA 0 ubi->mtd 1
CAPPED_DATA 0 ubi->vid_hdr_offset 1
CAPPED_DATA 2 scan_ai 1
CAPPED_DATA 2 scan_ai->aeb_slab_cache 1
CAPPED_DATA 2 scan_ai->ech 1
CAPPED_DATA 2 scan_ai->vidb 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 2 scan_ai r alloc_ai
FUZZY_MAX 0 ubi->fm_disabled 1
FUZZY_MAX 0 ubi->fm_pool_rsv_cnt 0
NOSPEC 0 ubi->vid_hdr_offset
HARD_MAX 0 ubi->fm_disabled 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[c]
USER_DATA 2 *scan_ai->vidb->buffer 0-255
NO_OVERFLOW_SIMPLE 0 ubi->mtd->erasesize
NO_OVERFLOW_SIMPLE 0 ubi->peb_size
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex